Search alternatives:
modul » module, modal
modus » modes

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product andPlant Automation -- IV...

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... of concurrency: Partial orders and transition systems -- CCS without ?'s -- A fully observational model...

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From...

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...Models and equality for logical programming -- Fifth generation computer project: Current research...

5
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... and errors: A telephonic example -- Modelling concurrent modules -- Synthesis of parallel programs invariants...

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... specification grammars: A junction between module specifications and graph grammars -- A characterization...