1
Publicado 2007
Table of Contents: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Ligazón do recurso
Electrónico eBook