Sciweavers

CORR
2011
Springer
222views Education» more  CORR 2011»
12 years 10 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz