search | history of updates
Database software provided by

Publicatons of Uppaal Group:

All papers (129)  


Timed Systems (64)  
Verification (61)  
Tool: UPPAAL (46)  
Semantics and Specification (37)  
Implementation (32)  
Real Time Scheduling (25)  
Theses and Books (21)  
Tool: TIMES (19)  
Case Studies (19)  
Edited Works (6)  
Others (2)  
Show printer-friendly page | Copyright © 2012 Uppsala University, Department of Information Technology.
Last updated 11 Dec 2003. Responsible: Leonid Mokrushin. Web: Contact.