1
Foilsithe 2007
Clár Ábhair: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2006
Clár Ábhair: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2008
Clár Ábhair: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar