Labelled Tableaux for Temporal Logic with Cardinality Constraints (bibtex)

by Dixon, Clare, Konev, Boris, Schmidt, Renate A. and Tishkovsky, Dmitry

Reference:

Labelled Tableaux for Temporal Logic with Cardinality Constraints (Dixon, Clare, Konev, Boris, Schmidt, Renate A. and Tishkovsky, Dmitry), In Proceedings of The 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'12), 2012.

Bibtex Entry:

@INPROCEEDINGS{dkst12,
AUTHOR = {Dixon, Clare and Konev, Boris and Schmidt, Renate A. and Tishkovsky, Dmitry},
YEAR = {2012},
TITLE = {Labelled Tableaux for Temporal Logic with Cardinality Constraints},
BOOKTITLE={Proceedings of The 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ({SYNASC}'12)},
YEAR=2012,
Pages ={111--118},
URL = {papers/dkst12.pdf},
DOI = {http://dx.doi.org/10.1109/SYNASC.2012.47}
}