dblp.uni-trier.dewww.uni-trier.de

Heikki Tuominen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
7EEHeikki Tuominen: Embedding a Dialect of SDL in PROMELA. SPIN 1999: 245-260
1990
6EEHeikki Tuominen: Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. CADE 1990: 514-527
1989
5EEHeikki Tuominen: Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. Automatic Verification Methods for Finite State Systems 1989: 97-104
1988
4 Heikki Tuominen: Translations from Epistemic into Dynamic Logic. ECAI 1988: 586-588
3EEHeikki Tuominen: Elementary net systems and dynamic logic. European Workshop on Applications and Theory in Petri Nets 1988: 453-466
1983
2 Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen: Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. Protocol Specification, Testing, and Verification 1983: 139-148
1982
1 Raimo Kujansuu, Leo Ojala, Heikki Tuominen: The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313

Coauthor Index

1Matti Anttila [2]
2Harri Eriksson [2]
3Jukka Ikonen [2]
4Raimo Kujansuu [1] [2]
5Leo Ojala [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)