1
Published 2010
Table of Contents: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
View full text
Electronic eBook