Search the dblp DataBase

Publications of Author

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