Sciweavers

Share
CORR
2011
Springer
222views Education» more  CORR 2011»
8 years 5 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 deļ¬nition fo...
Christian Kissig, Alexander Kurz
books