1991
The meaning of negative premises in transition system specifications (extended abstract)
Publication
Publication
Presented at the
Automata, Languages and Programming , Madrid
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
Automata, Languages and Programming | |
Bol, R.N, & Groote, J.F. (1991). The meaning of negative premises in transition system specifications (extended abstract). In Proceedings of Automata, Languages and Programming 0000 (1991) (pp. 481–494). Springer.
|