Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
Author(s)
Bibliographic Information
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
（Lecture notes in computer science, 575）
Springer-Verlag, c1992
- : gw
- : us
Available at 57 / 57 libraries
Any AreasAny Libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
BerlinL/N||LNCS||57592003936
-
Kochi University of Technology.Library
: Berlin007||L49||575000171827,
: gw007||L49||57500017182 -
: Berlin007.08-L49-57592700693,10092700693,10092700851,10092700913
-
University of Tsukuba Library, Library on Library and Information Science
: Berlin007.08:L-49:575921002590
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
