Hybrid I/O automata / N. Lynch, R. Segala, F.W. Vaandrager

<http://data.bibliotheken.nl/id/nbt/p242520472>

schema:ProductModel schema:Book schema:CreativeWork
rdfs:label "Hybrid I/O automata / N. Lynch, R. Segala, F.W. Vaandrager"
schema:name "Hybrid I/O automata"
schema:author Nijmeegs Instituut voor Informatica en Informatiekunde
Lynch, Nancy A. (1948-)
schema:contributor Vaandrager, Frits Willem (1962-)
Segala, Roberto
schema:sameAs <http://www.worldcat.org/oclc/66174731>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/30d827f9f43b305222f2c5f5f16f77cb>
http://purl.org/dc/terms#issued "2002"
schema:about computerwiskunde
schema:inLanguage "en"
schema:isPartOf Technical report / Nijmegen Institute for Computing and Information Sciences
schema:numberOfPages 65
schema:publication <https://data.bibliotheken.nl/.well-known/genid/ea6265fce518da2b333aad10adf00b59>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql