Formal techniques for networked and distributed systems [electronic resource] : FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.).
Saved in:
Published: |
Berlin :
Springer,
2005.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
3731 |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |
Similar Items
-
Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Published: (2007) -
Formal techniques for networked and distributed systems -- FORTE 2004: 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004) -
Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
Published: (2008) -
Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /
Published: (2006) -
Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 /
Published: (1993)