SUPERPOSITION: Composition Vs Refinement of Non-Deterministic, Action-Based Systems

AuthID
P-000-AYR
2
Author(s)
Tipo de Documento
Article
Year published
2004
Publicado
in FORMAL ASPECTS OF COMPUTING, ISSN: 0934-5043
Volume: 16, Número: 1, Páginas: 5-18 (14)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-21044457100
Wos: WOS:000227069000003
Source Identifiers
ISSN: 0934-5043
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.