International conference on computer-aided verification (02 : 1990 : New Brunswick, N.J.)
CAV 2 1990 New Brunswick, NJ
CAV '90 (2 ; 1990 ; New Brunswick).
CAV (Conference) (2nd : 1990 : New Brunswick, N.J.)
VIAF ID: 132038962 (Corporate)
Permalink: http://viaf.org/viaf/132038962
Preferred Forms
-
-
- 111 2 _ ‡a CAV ‡n 2 ‡d 1990 ‡c New Brunswick, NJ
- 111 2 _ ‡a International conference on computer-aided verification ‡n (02 : ‡d 1990 : ‡c New Brunswick, N.J.)
4xx's: Alternate Name Forms (17)
5xx's: Related Names (2)
- 551 _ _ ‡a New Brunswick, NJ
- 511 2 _ ‡a Workshop on Automatic Verification Methods for Finite State Systems ‡d 1989 ‡c Grenoble ‡j Vorgaenger
Works
Title | Sources |
---|---|
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 | |
Computer aided verification / E. M. Clarke, R. P. Kurshan (eds.). - Berlin, 1991. |