Publications

AuthID
P-007-DY6

Author(s)

Menezes, PB

Editor(s)

Cleaveland R.Mislove M.Mulry P.

Document Type

Proceedings Paper

Year published

1998

Published

in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 14, Pages: 245-273

Conference

Us-Brazil Joint Workshops on the Formal Foundations of Software Systems, Date: 11 May 1997 through 11 May 1997, Location: Rio de Janeiro

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/s1571-0661(05)80239-7

Scopus: 2-s2.0-2442459312

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links