Search results for: Matti Luukkainen
Lecture Notes in Computer Science > SDL 2005: Model Driven > Applications and Tools (Short Papers) > 187-197
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 382-386
Electronic Notes in Theoretical Computer Science > 2005 > 118 > Complete > 71-85