Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Alur, Rajeev
and
Henzinger, Thomas A.
1994.
A really temporal logic.
Journal of the ACM,
Vol. 41,
Issue. 1,
p.
181.
Rusu, Vlad
and
Zinovieva, Elena
2001.
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.
Electronic Notes in Theoretical Computer Science,
Vol. 50,
Issue. 4,
p.
327.
Fontaine, Pascal
and
Gribomont, E. Pascal
2003.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 2619,
Issue. ,
p.
97.
Slissenko, Anatol
2005.
Computer Science Logic.
Vol. 3634,
Issue. ,
p.
3.
Dantchev, Stefan
and
Valencia, Frank D.
2005.
On the computational limits of infinite satisfaction.
p.
393.
Eisinger, Jochen
and
Klaedtke, Felix
2008.
Don’t care words with an application to the automata-based approach for real addition.
Formal Methods in System Design,
Vol. 33,
Issue. 1-3,
p.
85.
Veanes, Margus
and
Bjørner, Nikolaj
2009.
Theoretical Aspects of Computing - ICTAC 2009.
Vol. 5684,
Issue. ,
p.
322.
Bonacina, Maria Paola
Lynch, Christopher
and
de Moura, Leonardo
2009.
Automated Deduction – CADE-22.
Vol. 5663,
Issue. ,
p.
35.
Ge, Yeting
and
de Moura, Leonardo
2009.
Computer Aided Verification.
Vol. 5643,
Issue. ,
p.
306.
Veanes, Margus
and
Bjørner, Nikolaj
2010.
Perspectives of Systems Informatics.
Vol. 5947,
Issue. ,
p.
388.
Zhou, Min
He, Fei
Wang, Bow-Yaw
and
Gu, Ming
2010.
Computer Aided Verification.
Vol. 6174,
Issue. ,
p.
570.
Bonacina, Maria Paola
Lynch, Christopher A.
and
de Moura, Leonardo
2011.
On Deciding Satisfiability by Theorem Proving with Speculative Inferences.
Journal of Automated Reasoning,
Vol. 47,
Issue. 2,
p.
161.
Brillout, Angelo
Kroening, Daniel
Rümmer, Philipp
and
Wahl, Thomas
2011.
Verification, Model Checking, and Abstract Interpretation.
Vol. 6538,
Issue. ,
p.
88.
Rümmer, Philipp
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
359.
Fietzke, Arnaud
Kruglov, Evgeny
and
Weidenbach, Christoph
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
197.
Jeż, Artur
and
Okhotin, Alexander
2012.
Representing Hyper-arithmetical Sets by Equations over Sets of Integers.
Theory of Computing Systems,
Vol. 51,
Issue. 2,
p.
196.
Fietzke, Arnaud
and
Weidenbach, Christoph
2012.
Superposition as a Decision Procedure for Timed Automata.
Mathematics in Computer Science,
Vol. 6,
Issue. 4,
p.
409.
Tan, Tony
2012.
An Automata Model for Trees with Ordered Data Values.
p.
586.
Sutcliffe, Geoff
Schulz, Stephan
Claessen, Koen
and
Baumgartner, Peter
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
406.
Cantenot, Jérôme
Ambert, Fabrice
and
Bouquet, Fabrice
2012.
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.
p.
55.