Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Main Author: Peled, Doron A
Other Authors: Vardi, Moshe Y
Format: eBook
Published: Berlin, Heidelberg IFIP International Federation for Information Processing 2002
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540361350
978-3-540-00141-6