Time-stamps for Mazurkiewicz traces.

Wieslaw Zielonka

Published in: Theor. Comput. Sci. (2006)

Keyphrases

mazurkiewicz traces
temporal logic
satisfiability problem
model checking
artificial intelligence
expert systems
state space
np complete
optimal solution