Publications of the COSMOS Research Group
1985
[1]
STAR: A Software Tool for Validating Concurrent Systems
(
Manuel Silva
and
Javier MartÃnez
),
In
Proc. Programming - KTSG Technical Week.
,
SESA-RC
,
1985
.
[bibtex]
Powered by
bibtexbrowser