Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

57

Bibliographic Details
Main Authors: FORTE 2007 (2007 : Tallinn, Estonia), Derrick, John, 1963-, Vain, Juri, IFIP Working Group 6.1, SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Formal methods (Computer science)
Electronic data processing
Online Access:http://dx.doi.org/10.1007/978-3-540-73196-2

Internet

http://dx.doi.org/10.1007/978-3-540-73196-2

Similar Items