Search results for: John Håkansson
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Demonstration Papers > 252-257
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 128-142
Electronic Notes in Theoretical Computer Science > 2009 > 253 > 1 > 161-178
The Journal of Systems & Software > 2007 > 80 > 5 > 655-667
Electronic Notes in Theoretical Computer Science > 2006 > 160 > Complete > 127-140
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 4 > 456-471