Translation of Intermediate Language to Timed Automata with Discrete Data

Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski. Translation of Intermediate Language to Timed Automata with Discrete Data. Fundamenta Informaticae, 85(1-4):235-248, 2008. [doi]

Authors

Agata Janowska

This author has not been identified. Look up 'Agata Janowska' in Google

Pawel Janowski

This author has not been identified. Look up 'Pawel Janowski' in Google

Dobieslaw Wróblewski

This author has not been identified. Look up 'Dobieslaw Wróblewski' in Google