Publications of the COSMOS Research Group
2013
[1]
RessAllocation Petri net Model
(
Fernando Tricas
and
J Ezpeleta
),
In
Model Checking Contest 2013
(F Kordon, et al., eds.)
,
2013
.
[bibtex]
Powered by
bibtexbrowser