1993-09-01
Transition system specifications with negative premises
Publication
Publication
Theoretical Computer Science , Volume 118 - Issue 2 p. 263- 299
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Groote, J. F. (1993). Transition system specifications with negative premises. Theoretical Computer Science, 118(2), 263–299. |