Search results for: Pepijn Crouzen
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 441-456
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 238-253
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Reachability and Model Checking > 111-126
IEEE Transactions on Dependable and Secure Computing > 2010 > 7 > 2 > 128 - 143