TRACE-BASED NETWORK PROOF SYSTEMS - EXPRESSIVENESS AND COMPLETENESS (VOL 14, PG 3, 1992)

Authors
WIDOM J GRIES D SCHNEIDER FB
Citation
J. Widom et al., TRACE-BASED NETWORK PROOF SYSTEMS - EXPRESSIVENESS AND COMPLETENESS (VOL 14, PG 3, 1992), ACM transactions on programming languages and systems, 15(1), 1993, pp. 208-208
Citations number
1
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics
Journal title
ACM transactions on programming languages and systems → ACNP
ISSN journal
01640925
Volume
15
Issue
1
Year of publication
1993
Pages
208 - 208
Database
ISI
SICI code
0164-0925(1993)15:1<208:TNPS-E>2.0.ZU;2-7