Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
Author(s)
Bibliographic Information
Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
（Lecture notes in computer science, 818）
Springer-Verlag, c1994
- : us
- : gw
Available at / 52 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNCS||81894027209
-
University of Tsukuba Library, Library on Library and Information Science
: us007.08:L-49:818941002510
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: usdc20:511.3/d582070322465
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
