Jan Friso Groote
Roland Bol and Jan Friso Groote.
The meaning of negative premises in transition system specifications.
Journal of the ACM
, 43(5):863-914, September 1996.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database