Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Combining Linear Programming and Graph Analysis for Petri Nets Validation
[BP94] Combining Linear Programming and Graph Analysis for Petri Nets Validation
Conférence Internationale avec comité de lecture : 7th SIAM Conference on Discrete Mathematics, January 1994,
motcle:
| @inproceedings { | |||
| BP94, | |||
| title | = | "{Combining Linear Programming and Graph Analysis for Petri Nets Validation}", | |
| author | = | " K. Barkaoui and J. Peyre ", | |
| booktitle | = | "{7th SIAM Conference on Discrete Mathematics}", | |
| year | = | 1994, | |
| month | = | "January", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |