Paper Info
Title
Pumping Lemmas for Timed Automata
Year
DOI
Venue
1998
10.1007/BFB0053543
European Joint Conferences on Theory And Practice of Software (ETAPS)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Danièle Beauquier101.01