Title:
Constraint-Based Verification /
Author:
Yuan, Jun
Contributer:
Pixley, Carl
,
Aziz, Adnan
Edition:
1. Ed.
Publisher:
Berlin :Springer,
Year of publication:
2005
Pages:
XII, 253 S.
ISBN:
0-387-25947-3
Type of Medium:
Book
Language:
English
URL:
http://deposit.ddb.de/cgi-bin/dokserv?id=2738070&prov=M&dokÏvar=1&dokÏext=htm
Permalink