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. (2008). On the axiomatizability of impossible futures: preorder versus equivalence. In Proc. 23rd Symposium on Logic in Computer Science (pp. 156–165). IEEE. |
See Also |
---|