National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Kaivola, Roope
URI:
http://urn.fi/URN:NBN:fi:au:pn:000087383
name
Kaivola, Roope
Authored works
Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems
Works contributed to
Works about Kaivola, Roope
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD