Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 1998
Wieringa, R.J. and Broersen, J.M.
(1998)
A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams.
In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan.
pp. 129-151.
Technische Universitat Munchen TUM-I9803.
ISBN not assigned
1991
van den Broek, P.M.
(1991)
Algebraic graph rewriting using a single pushout.
In:
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development.
Lecture Notes in Computer Science 493.
Springer-Verlag, New York, NY, USA, pp. 90-102.
ISBN 3540539824
Meyer, J.J.C. and Wieringa, R.J.
(1991)
Actor-Oriented System Specification with Dynamic Logic.
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 8-12 Apr 1991, Brighton, UK.
pp. 337-357.
Lecture Notes in Computer Science 494.
Springer.
ISBN 3540539816
This list was generated on Thu May 24 07:13:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||