1996
The meaning of negative premises in transition system specifications
Publication
Publication
Journal of the ACM , Volume 43 - Issue 5 p. 863- 914
Additional Metadata | |
---|---|
, | |
Journal of the ACM | |
Bol, R. N., & Groote, J. F. (1996). The meaning of negative premises in transition system specifications. Journal of the ACM, 43(5), 863–914. |