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. Proc. 23rd Symposium on Logic in Computer Science, 156–165. |
|
| See Also |
|---|