Modeling and Validation of Tasks with Algebraic Structured Nets

Didier Buchs, C. Buffard, P. Racloz. Modeling and Validation of Tasks with Algebraic Structured Nets. In Marcel Toussaint, editor, Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Volume 1031 of Lecture Notes in Computer Science, pages 284-297, Springer, 1995.

Authors

Didier Buchs

This author has not been identified. Look up 'Didier Buchs' in Google

C. Buffard

This author has not been identified. Look up 'C. Buffard' in Google

P. Racloz

This author has not been identified. Look up 'P. Racloz' in Google