RessAllocation Petri net Model (bibtex)

by Fernando Tricas and J Ezpeleta

Reference:

RessAllocation Petri net Model (Fernando Tricas and J Ezpeleta), In Model Checking Contest 2013 (F Kordon, et al., eds.), 2013.

Bibtex Entry:

@inproceedings{TricasEzpeleta13,
title = {RessAllocation Petri net Model},
author = {Fernando Tricas and J Ezpeleta},
editor = {F Kordon and et al.},
year  = {2013},
date = {2013-06-01},
booktitle = {Model Checking Contest 2013},
address = {Milano, Italy},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}