Title | Modelling Parameterisation in Concurrent Object Systems |
Publication Type | Journal Article |
Year of Publication | 1997 |
Public | no |
Authors | Küster Filipe, J. |
Journal | Logic Journal of the IGPL |
Volume | 5 |
Issue | 6 |
Pagination | 877-879 |
Date Published | November |
Abstract | no |