Representational Reasoning and Verification

AuthID
P-008-YG4
3
Author(s)
Doherty, GJ
·
Document Type
Article
Year published
2000
Published
in Formal Aspects Comput., ISSN: 0934-5043
Volume: 12, Issue: 4, Pages: 260-277
Indexing
Publication Identifiers
DBLP: journals/fac/DohertyCH00
SCOPUS: 2-s2.0-0004635642
Source Identifiers
ISSN: 0934-5043
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.