Search results for: Albert Nymeyer
Lecture Notes in Computer Science > Implementation and Application of Automata > Short Papers and Poster Abstracts > 249-252
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 275-289
Lecture Notes in Computer Science > Abstraction, Reformulation and Approximation > Extended Abstracts > 290-304
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction > 497-511
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 165-178
Electronic Notes in Theoretical Computer Science > 2006 > 149 > 2 > 33-49
Computer Languages > 1995 > 21 > 1 > 1-16