Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

Bibliographic Information

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

K.G. Larsen, A. Skou (eds.)

(Lecture notes in computer science, 575)

Springer-Verlag, c1992

  • : gw
  • : us

Available at  / 57 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top