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
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language
M. Falaschi
,
Policriti, A.
, and
Villanueva, A.
,
“
Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language
”
,
Proceedings of the 2000 Joint Conference on Declarative Programming
. University of La Habana, La Habana, Cuba, 2000.
Google Scholar
BibTex
Google Scholar
BibTex