.gif)
Specifying Information System Dynamics in \sc TROLL
| Title | Specifying Information System Dynamics in \sc TROLL |
| Publication Type | Conference Proceedings |
| Year of Conference | 1994 |
| Authors | Hartel, P., T. Hartmann, J. Kusch, and G. Saake |
| Conference Name | Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL) |
| Pagination | 53-64 |
| Publisher | Univ. of Twente, Technical Report |
| Abstract | no |
| Public | no |