Search results for: Mark Kattenbelt
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 182-197
Formal Methods in System Design > 2010 > 36 > 3 > 246-280
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 3 > 5-21