National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Dubrovin, Jori
URI:
http://urn.fi/URN:NBN:fi:au:pn:000145505
name
Dubrovin, Jori
Authored works
Efficient symbolic model checking of concurrent systems
Symbolic model checking of hierarchical UML state machines
Symbolic step encodings for object based communicating state machines
Works contributed to
Works about Dubrovin, Jori
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
