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 |
|---|