![](/img/cover-not-exists.png)
SetExp: a method of transformation of timed automata into finite state automata
Lucien Ouedraogo, Ahmed Khoumsi, Mustapha NourelfathVolume:
46
Language:
english
Pages:
62
DOI:
10.1007/s11241-010-9103-8
Date:
October, 2010
File:
PDF, 1.79 MB
english, 2010