National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Valmari, Antti
URI:
http://urn.fi/URN:NBN:fi:au:pn:000062050
name
Valmari, Antti
Authored works
Alleviating state explosion during verification of behavioural equivalence
Compositional failure-based semantic models for Basic LOTOS
Rinnakkaisjärjestelmien validointi ja verifiointi : katsaus: käsitteet, teoriat ja menetelmät
Roudan kehittymisen tilastollinen malli
Some polynomial space complete concurrency problems
State space generation : efficiency and practicality
Visual verification of safety and liveness
Works contributed to
A graph model for efficient reachability analysis of description languages
A method for analysing the performance of testing techniques for concurrent systems
Works about Valmari, Antti
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD