Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [E-Book] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings / edited by Doron A. Peled, Moshe Y. Vardi.
Peled, Doron A.
Vardi, Moshe Y.
Berlin, Heidelberg : IFIP International Federation for Information Processing, 2002
online resource
englisch
9783540361350
Lecture notes in computer science ; 2529
Full Text
Description not available.