Keywords: Conform Reference LGL-CONF-1995-013 Record created on 2005-09-20, modified on 2016-08-08
['Didier Buchs', 'C. Buffard', 'Pascal Racloz']
Modeling and Validation of Tasks with Algebraic Structured Nets