National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Puhakka, Antti
URI:
http://urn.fi/URN:NBN:fi:au:pn:000119976
name
Puhakka, Antti
Authored works
3D-grafiikka
Using fairness in process-algebraic verification
Weakest congruences, fairness and compositional process-algebraic verification
Works contributed to
Works about Puhakka, Antti
Runon ja rajan teillä
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
