1
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Cael y testun llawn
Electronig eLyfr