Search

Author/Creator Bouajjani, Ahmed

2. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017)

Editors:
Bouajjani, Ahmed; Silva, Alexandra
Other Names:
FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xiv, 243 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

3. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017)

Editors:
Bouajjani, Ahmed; Monniaux, David
Other Names:
VMCAI (Conference), 18th
Record Type:
Book
Extent:
1 online resource (xvii, 560 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search