Torthaí cuardaigh - Katoen, Joost-Pieter
- 1 - 2 toradh as 2 á dtaispeáint
-
1
Principles of model checking de réir Baier, Christel
Foilsithe / Cruthaithe 2008Gairmuimhir: Ag lódáil…Table of contents only
Suíomh: Ag lódáil…
LEABHAR -
2
CONCUR 2011 - Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Foilsithe / Cruthaithe 2011Gairmuimhir: Ag lódáil…Available for University of the Philippines Diliman via SpringerLink. Click here to access
Suíomh: Ag lódáil…
Electronic Resource


