Concepedia

Verification of qualitative<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="double-struck">Z</mml:mi></mml:math>constraints

Stéphane Demri, Régis Gascon

Theoretical Computer Science · 2008 · 14 citations · 34 references

DOIFull text

Open access

Concepts

References

34

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

, , +9

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

, , +6

Optimal implementation of conjunctive queries in relational data bases

Ashok K. Chandra, Philip M. Merlin · 1977 · 1.2K citations · Full text

, , +16

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

, , +14