Modelling and validation of tasks with algebraic structured nets
1995
Files
Details
Title
Modelling and validation of tasks with algebraic structured nets
Author(s)
Buchs, Didier ; Buffard, Christophe ; Racloz, Pascal
Published in
Ada in Europe
Editor(s)
Series
Lecture Notes in Computer Science, 1031
Pages
284-297
Conference
Ada-Europe Symposium, Frankfurt/Main, October 2–6, 1995
Date
1995
Publisher
Berlin, Heidelberg, Springer
Laboratories
LGL