National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Heljanko, Keijo
URI:
http://urn.fi/URN:NBN:fi:au:pn:000102253
name
Heljanko, Keijo
Authored works
Combining symbolic and partial order methods for model checking 1-safe Petri nets
Deadlock and reachability checking with finite complete prefixes
Model checking the branching time temporal logic CTL
Works contributed to
A new unfolding approach to LTL model checking
Implementing LTL model checking with net unfoldings
Symbolic step encodings for object based communicating state machines
Works about Heljanko, Keijo
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
