Inproceedings,

Rob Tristan Gerth: 1956?2003.

, and .
CAV, volume 3114 of Lecture Notes in Computer Science, page 1-14. Springer, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews