Formalisation Based on Understanding

AuthID
P-007-6BG
3
Author(s)
Murphy, M
Document Type
Book
Year published
1994
Published
in IFIP Transactions C: Communication Systems, ISSN: 0926-549X
Issue: C-22, Pages: 417-432
Conference
Proceedings of the Ifip Tc6/Wg6.1 6Th International Conference on Formal Description Techniques-Forte'93, Date: 26 October 1993 through 29 October 1993, Location: Boston, MA, USA, Sponsors: IFIP WG6.1;AT&T Bell Laboratories;Bellcore;Bell Northern Research;National Science Foundation;et al
Indexing
Publication Identifiers
Scopus: 2-s2.0-0028554557
Source Identifiers
ISSN: 0926-549X
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.