Analysing the PGM protocol with U PPAAL
| Year of publication: |
2004
|
|---|---|
| Authors: | Bérard, Béatrice ; Bouyer, Patricia ; Petit, Antoine |
| Published in: |
International journal of production research : American Institute of Industrial Engineers ; Society of Manufacturing Engineers. - London : Taylor & Francis, ISSN 0020-7543, ZDB-ID 1604776. - Vol. 42.2004, 14, p. 2773-2792
|