About this scholarly article

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Labelled Tableaux for Temporal Logic with Cardinality Constraints by Dixon, Clare; Konev, Boris; Schmidt, Renate A.; Tishkovsky, Dmitry is a scholarly article available to read on EtoBox.

Author

Dixon, Clare; Konev, Boris; Schmidt, Renate A.; Tishkovsky, Dmitry

Publisher

IEEE

Published

2012