Search results for: Bas Ploeger
Lecture Notes in Computer Science > Computer Aided Verification > Session 15: Space Efficient Algorithms > 517-529
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 161-170
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 119-135