Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings By Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)
2002 | 374 Pages | ISBN: 3540001417 | PDF | 6 MB