Publications of the COSMOS Research Group
1995
[1]
An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources
(
Fernando Tricas
and
J MartÃnez
),
In
Proc. of the 1995 IEEE Int. Conf. on Systems, Manand Cybernetics.
,
1995
.
[bibtex]
Powered by
bibtexbrowser