2008-06-01
On the axiomatizability of impossible futures: preorder versus equivalence
Publication
Publication
Presented at the
IEEE Symposium on Logic in Computer Science
| Additional Metadata | |
|---|---|
| IEEE | |
| IEEE Symposium on Logic in Computer Science | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Chen, T, & Fokkink, W.J. (2008). On the axiomatizability of impossible futures: preorder versus equivalence. In Proc. 23rd Symposium on Logic in Computer Science (pp. 156–165). IEEE.
|
|
