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

Jori Dubrovin

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

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

Coauthor Index

1Keijo Heljanko [2]
2Tommi A. Junttila [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)