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 Tool for Generating a Symbolic Representation of tccp Executions
A. Lescaylle
and
Villanueva, A.
,
“
A Tool for Generating a Symbolic Representation of tccp Executions
”
,
Electronic Notes in Theoretical Computer Science
, vol. 246, pp. 131–145, 2009.
Google Scholar
BibTex
Google Scholar
BibTex
