- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Jori Dubrovin, Tommi A. Junttila: Symbolic model checking of hierarchical UML state machines. ACSD 2008: 108-117 |
| 2 | | Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko: Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS 2008: 96-112 |
| 1 | | Tommi A. Junttila, Jori Dubrovin: Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. LPAR 2008: 290-304 |
| 1 | Keijo Heljanko | [2] |
| 2 | Tommi A. Junttila | [1] [2] [3] |