Heikki Tuominen

Publication Activity (10 Years)

Years Active: 1982-1999
Publications (10 Years): 0

Publications

Heikki Tuominen
Embedding a Dialect of SDL in PROMELA. SPIN (1999)
Heikki Tuominen
Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. CADE (1990)
Heikki Tuominen
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. Automatic Verification Methods for Finite State Systems (1989)
Heikki Tuominen
Translations from Epistemic into Dynamic Logic. ECAI (1988)
Heikki Tuominen
Elementary net systems and dynamic logic. European Workshop on Applications and Theory in Petri Nets (1988)
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)
Raimo Kujansuu, Leo Ojala, Heikki Tuominen
The Development of Tools for Verification and Validation of Communication Protocols. PSTV (1982)