National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Rukšėnas, Rimvydas
URI:
http://urn.fi/URN:NBN:fi:au:pn:000120350
name
Rukšėnas, Rimvydas
Authored works
A tool for data refinement
Component-oriented development of action systems
Formal development of concurrent components
Handshaking expansion as action system refinement
Works contributed to
Action systems synthesis of DI circuits
TkWinHOL : a tool for doing window inference in HOL
Works about Rukšėnas, Rimvydas
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD