Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

María Alpuente
Technical University of Valencia, Spain

M. Alpuente, M. del Mar Gallardo, E. Pimentel, A. Villanueva:
Verifying Real-Time Properties of tccp Programs
/jucs_12_11/verifying_real_time_properties
page 1551 - 1573
Vol.12 / Issue 11