|
 
|
[BKPa97] Petri nets based proofs of Ada 95 solution for preference control
Conférence Internationale avec comité de lecture : 3rd Asia-Pacific Software Engineering Conference APSEC’97, January 1997, pp.238-248,
motcle:
Résumé:
Voir le lien ici
BibTeX
| @inproceedings { | |||
| BKPa97, | |||
| title | = | "{Petri nets based proofs of Ada 95 solution for preference control}", | |
| author | = | " K. Barkaoui and C. Kaiser and J. Pradat-Peyre ", | |
| booktitle | = | "{3rd Asia-Pacific Software Engineering Conference APSEC’97}", | |
| year | = | 1997, | |
| month | = | "January", | |
| pages | = | "238-248", | |
| } | |||
