Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 2 /2
978-3-540-70545-1
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

Continue reading
978-3-540-37214-1
Implementation and Application of Automata (vol. # 4094)

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

Continue reading
Total Books: 1 - 2 /2