Languages
Jump To : Overview | Titles | Subjects

Bravetti, Mario.

Overview
Works: 2 works in 1 publications in 1 languages
Titles
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: Workshop on the Preservation of Stability under Discretization ((2001 :); Kloul, Leila.; Zavattaro, Gianluigi.; Bravetti, Mario.; SpringerLink (Online service) (Language materials, printed)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: Zavattaro, Gianluigi.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Bravetti, Mario. (Language materials, printed)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings / by: SpringerLink (Online service); Bravetti, Mario.; Merayo, Mercedes G.; Hierons, Robert M.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: Bravetti, Mario.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bultan, Tevfik. (Language materials, printed)
 
 
Change password
Login