Search filters

Authors whose works are in public domain in at least one jurisdiction

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article published in 2013
Author/s

author: J.C. van de Pol  Alfons Laarman  Mads Chr. Olesen 

Publication date 2013
Language English
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item

Paulina is supported by:

About Paulina

Help