Previous
Next
Journal
- computer aided verification (9783540374060)2
- automata, languages & programming (9783540275800)1
- computer aided verification (9783540272311)1
- concur 2006 - concurrency theory (9783540373766)1
- formal methods & software engineering1
- rewriting techniques & applications (9783540402541)1
- term rewriting & applications (9783540368342)1
- theoretical aspects of computing - ictac 20041
- tools & algorithms for the construction & analysis of systems (9783540253334)1