1
Gepubliceerd in 2007
Inhoudsopgave: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2006
Inhoudsopgave: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2008
Inhoudsopgave: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Volledige tekst
Elektronisch E-boek