Merkliste 
 1 Ergebnisse 
 
1

A timed-automata approach for critical path detection in a ..:

Yildiz, Bugra M ; Bockisch, Christoph M ; Rensink, Arend.
http://doc.utwente.nl/93191/1/Yildiz-A_Timed-Automata_Approach_for_Critical.pdf.  , 2014