Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
A Real-Time Logic for tccp verification
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.
Google Scholar
BibTex
Google Scholar
BibTex