National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Tiusanen, Mikko
URI:
http://urn.fi/URN:NBN:fi:au:pn:000071192
name
Tiusanen, Mikko
Authored works
A graph model for efficient reachability analysis of description languages
A survey of fault-tolerant clock synchronization
Some unsolved problems in modelling self-timed circuits using Petri Nets
Specification of a net description language compiler
Works contributed to
Digital Systems Laboratory : annual report for the academic year 1983-1984
Hardware support of concurrent process interaction and synchronization : on the principle of autocorrect implementation
Liikkuva tietojenkäsittely : laitteet, verkot, ohjelmistot
Ohjelmoinnin teorian harjoitustehtäviä
PROD-A Pr/T-net reachability analysis tool
SOVITA käyränsovitusohjelma
UNIX-käytön opas
Works about Tiusanen, Mikko
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
