1990
The meaning of negative premises in transition system specifications
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9054 | |
Bol, R.N, & Groote, J.F. (1990). The meaning of negative premises in transition system specifications. Department of Computer Science [CS]. CWI.
|