Search results for: Marcus Nilsson
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Verification, Model Checking > 116-131
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite and Parameterized Systems > 220-235
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 31-42
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 2 > 223-241
Molecular Therapy > 2004 > 9 > 3 > 377-388
Analysis Mathematica > 2003 > 29 > 2 > 107-133
Journal of Number Theory > 2001 > 90 > 2 > 255-264