1
Publicerad 2010
Innehållsförteckning: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
Hämta fulltext
Elektronisk E-bok