1
Publicat 2007
Taula de continguts: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Obtenir text complet
Electrònic eBook