Observational Refinement Process

AuthID
P-007-MDT
1
Author(s)
Document Type
Article
Year published
2008
Published
in Electr. Notes Theor. Comput. Sci., ISSN: 1571-0661
Volume: 214, Issue: C, Pages: 103-129
Indexing
Publication Identifiers
DBLP: journals/entcs/Madeira08
SCOPUS: 2-s2.0-46049118010
Source Identifiers
ISSN: 1571-0661
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.