Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
by 
Bravetti, Mario. editor.
https://doi.org/10.1007/978-3-642-04081-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-540-68894-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
by 
Bravetti, Mario. editor.
https://doi.org/10.1007/11841197
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by 
Bravetti, Mario. editor.
https://doi.org/10.1007/11549970
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
by 
Steffen, Martin. editor.
https://doi.org/10.1007/b136996
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.