1
Izdano 2007
Kazalo: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Polni tekst
Elektronski eKnjiga
2
Izdano 2006
Kazalo: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Polni tekst
Elektronski eKnjiga
3
Izdano 2008
Kazalo: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Polni tekst
Elektronski eKnjiga