![]() |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
![]() |
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen ![]() |
Hilfe ![]() |
![]() |
![]() |
![]() |
![]() |
Proceedings of the 1st International Symposium of Formal Methods Europe (Odense, Denmark, April 1993)
Lecture Notes in Computer Science
670
, 1993, pp. 597-616
Editors | J.C.P. Woodcock, P.G. Larsen | |
Publisher: | Springer-Verlag | |
Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=670&spage=597 | |
![]() |
![]() |
![]() |
![]() |