1
Published 2007
Table of Contents: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
View full text
Electronic eBook