FM-Trends 1998:
Boppard, Germany
share record
short URL:
https://dblp.org/rec/conf/fm/1998 Dieter Hutter ,
Werner Stephan ,
Paolo Traverso ,
Markus Ullmann :
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641,
Springer 1999 , ISBN
3-540-66462-9
share record
short URL:
https://dblp.org/rec/conf/fm/Borger98 Egon Börger :
High Level System Design and Analysis Using Abstract State Machines. 1-43 share record
short URL:
https://dblp.org/rec/conf/fm/BroyS98
share record
short URL:
https://dblp.org/rec/conf/fm/PuitgD98 share record
short URL:
https://dblp.org/rec/conf/fm/SouzaSFSAGGWCD98 share record
short URL:
https://dblp.org/rec/conf/fm/GeserK98 share record
short URL:
https://dblp.org/rec/conf/fm/BogdanovHS98 share record
short URL:
https://dblp.org/rec/conf/fm/GoerigkH98 share record
short URL:
https://dblp.org/rec/conf/fm/PnueliSS98 share record
short URL:
https://dblp.org/rec/conf/fm/Yamane98 Satoshi Yamane :
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. 151-167 share record
short URL:
https://dblp.org/rec/conf/fm/AgerholmL98 share record
short URL:
https://dblp.org/rec/conf/fm/BussowGHH98 share record
short URL:
https://dblp.org/rec/conf/fm/KutterST98 share record
short URL:
https://dblp.org/rec/conf/fm/MargariaG98 share record
short URL:
https://dblp.org/rec/conf/fm/FantechiGMPT98 share record
short URL:
https://dblp.org/rec/conf/fm/GoldsmithZ98 share record
short URL:
https://dblp.org/rec/conf/fm/Krieg-Bruckner98 share record
short URL:
https://dblp.org/rec/conf/fm/Karlsen98 Einar W. Karlsen :
The UniForM WorkBench - A Higher Order Tool Integration Framework. 266-280
share record
short URL:
https://dblp.org/rec/conf/fm/FujitaRH98 share record
short URL:
https://dblp.org/rec/conf/fm/MeulenC98 share record
short URL:
https://dblp.org/rec/conf/fm/KoobUW98
share record
short URL:
https://dblp.org/rec/conf/fm/Castillo98 Giuseppe Del Castillo :
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. 311-325 share record
short URL:
https://dblp.org/rec/conf/fm/AgerholmL98a share record
short URL:
https://dblp.org/rec/conf/fm/Slotosch98 share record
short URL:
https://dblp.org/rec/conf/fm/Woodcock98 share record
short URL:
https://dblp.org/rec/conf/fm/Canada98 Ora Canada :
Z/EVES Version 1.5: An Overview. 367-376
maintained by
, founded at