Daniel Moldt.
System engineering and validation.
In C. Girault and Rüdiger Valk, editors, Systems
Engineering: A Petri Net Based Approach to Modelling, Verification, and
Implementation, MATCH Advanced School, Jaca, Spain, September 1998.
@INPROCEEDINGS{Moldt98, AUTHOR = {Moldt, Daniel}, BOOKTITLE = {Systems Engineering: A {Petri} Net Based Approach to Modelling, Verification, and Implementation, MATCH Advanced School, Jaca, Spain}, EDITOR = {Girault, C. and Valk, R{\"u}diger}, MONTH = sep, TITLE = {System Engineering and Validation}, YEAR = 1998 }