Open AccessReducing Timed Automata: A New Approach
Author(s) -
Ilham Kitouni
Publication year - 2012
Publication title -
international journal of information sciences and techniques
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2319-409X
pISSN - 2249-1139
DOI - 10.5121/ijist.2012.2402
Subject(s) - computer science , automaton , timed automaton , theoretical computer science