[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Labelled Tableaux for Temporal Logic with Cardinality Constraints
Dixon, Clare, Konev, Boris, Schmidt, Renate A., Tishkovsky, DmitryYear:
2012
Language:
english
DOI:
10.1109/synasc.2012.47
File:
PDF, 811 KB
english, 2012