|
 
|
[HKP09a] Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains
Conférence Internationale avec comité de lecture : ACC'09, St Louis, US, January 2009, pp.5018-5025, Series Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.,
motcle:
BibTeX
| @inproceedings { | |||
| HKP09a, | |||
| title | = | "{Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains}", | |
| author | = | " S. Haddad and F. Kordon and L. Petrucci and J. Pradat-Peyre and N. Treves ", | |
| booktitle | = | "{ACC'09, St Louis, US}", | |
| year | = | 2009, | |
| month | = | "January", | |
| series | = | "Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.", | |
| pages | = | "5018-5025", | |
| } | |||
