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. Proceedings of the 33rd Colloquium on Automata, Languages and Programming, 480–491. |
|
| See Also |
|---|