National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Kindermann, Roland
URI:
http://urn.fi/URN:NBN:fi:au:pn:000159511
name
Kindermann, Roland
Authored works
SMT-based verification of timed systems and software
Testing a Java Card applet using the LIME Interface Test Bench
Works contributed to
Works about Kindermann, Roland
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD