FORMAL METHODS AFTER 15 YEARS - STATUS AND TRENDS A PAPER-BASED ON CONTRIBUTIONS OF THE PANELISTS AT THE FORMAL-TECHNIQUE-95 CONFERENCE, MONTREAL, OCTOBER 1995

Authors
COURTIAT JP DEMBINSKI P HOLZMANN GJ LOGRIPPO L RUDIN H ZAVE P
Citation
Jp. Courtiat et al., FORMAL METHODS AFTER 15 YEARS - STATUS AND TRENDS A PAPER-BASED ON CONTRIBUTIONS OF THE PANELISTS AT THE FORMAL-TECHNIQUE-95 CONFERENCE, MONTREAL, OCTOBER 1995, Computer networks and ISDN systems, 28(13), 1996, pp. 1845-1855
Citations number
12
Categorie Soggetti
Computer Sciences","System Science",Telecommunications,"Engineering, Eletrical & Electronic","Computer Science Information Systems
Journal title
Computer networks and ISDN systems → ACNP
ISSN journal
01697552
Volume
28
Issue
13
Year of publication
1996
Pages
1845 - 1855
Database
ISI
SICI code
0169-7552(1996)28:13<1845:FMA1Y->2.0.ZU;2-B