COMPUTER-AIDED VERIFICATION

Authors
CLARKE EM KURSHAN RP
Citation
Em. Clarke et Rp. Kurshan, COMPUTER-AIDED VERIFICATION, IEEE spectrum, 33(6), 1996, pp. 61-67
Citations number
5
Categorie Soggetti
Engineering, Eletrical & Electronic
Journal title
IEEE spectrum → ACNP
ISSN journal
00189235
Volume
33
Issue
6
Year of publication
1996
Pages
61 - 67
Database
ISI
SICI code
0018-9235(1996)33:6<61:CV>2.0.ZU;2-5