-
Bib ID# 18953
ISBN: 9783540316862
UPC: 10.1007/b138445
Title: Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Author: Etessami, Kousha.
Publication Info:
Item Type: Language material