"Design, Implementation and Testing of a Real Time System to Unambiguously ..."

Simone Fontanesi, Luca Fanucci, Frank Hofmann (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics