Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Rensink, A.
(2010)
The Edge of Graph Transformation - Graphs for Behavioural Specification.
In:
Graph Transformations and Model-Driven Engineering.
Lecture Notes in Computer Science 5765.
Springer Verlag, Berlin, pp. 6-32.
ISSN 0302-9743
ISBN 978-3-642-17321-9
1994
Wieringa, R.J.
(1994)
LCM and MCM: Specification of a control system using dynamic logic and process algebra.
In:
Formal Development of Reactive Systems Case Study Production Cell.
Lecture Notes in Computer Science 891.
Springer, Berlin, pp. 333-355.
ISBN 9783540588672
This list was generated on Thu May 24 07:06:56 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||