You are here

Publications

Export 1 results:
Filters: Keyword is Logic and Author is Gallardo, M.M.  [Clear All Filters]
2006
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., A Real-Time Logic for tccp verification, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.