2006
On the axiomatizability of priority
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming, Venice
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Organisation | Specification and Analysis of Embedded Systems |
Aceto, L., Chen, T., Fokkink, W., & Ingólfsdóttir, A. (2006). On the axiomatizability of priority. In Proceedings of the 33rd Colloquium on Automata, Languages and Programming (pp. 480–491). Springer. |
See Also |
---|