AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
ANDRÉ, ÉTIENNE, CHATAIN, THOMAS, FRIBOURG, LAURENT, ENCRENAZ, EMMANUELLEVolume:
20
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054109006905
Date:
October, 2009
File:
PDF, 344 KB
english, 2009