1
Published 1996
Springer US

2
by Airiau, Roland, Bergé, Jean-Michel, Olive, Vincent
Published 1994
Springer US
... as synthesizable by synthesis tools. A statement of the prerequisites for synthesis is followed by a short...

3
Published 1996
Springer US
... and Application specifically in the following domains: Specification modeling (linking object/data modeling...