@InProceedings{BaarBeckertSchmitt2001,
author = {Thomas Baar and Bernhard Beckert and Peter H. Schmitt},
title = {An Extension of {D}ynamic {L}ogic for Modelling
{OCL}'s {$@pre$} Operator},
booktitle = {Fourth Andrei Ershov International
Conference on Perspectives of System Informatics},
venue = {Novosibirsk, Russia},
publisher = {Springer},
series = {LNCS},
volume = {2244},
pages = {47--54},
year = {2001}
}
An Extension of Dynamic Logic for Modelling OCL's @pre Operator
| Autor(en): | Thomas Baar, Bernhard Beckert und Peter H. Schmitt |
|---|---|
| In: | Fourth Andrei Ershov International Conference on Perspectives of System Informatics |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 2244 |
| Jahr: | 2001 |
| Seiten: | 47-54 |