You are here

Home

Publications

Export 1 results:
Filters: Author is López-Fraguas, F.J.  [Clear All Filters]
2005
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Verifying Real-Time Properties of tccp Programs”, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.

created with Drupal | customized by Giovanni Bacci