"Automatic Translation of tock-CSP into Timed Automata."

Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob (2020)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-02-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics