Results for "Computer systems Verification" Showing 1 - 4 results of 4 Laminas_Feed_Writer 2 (https://getlaminas.org) https://tuklas.up.edu.ph/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+systems+Verification%22&type=Subject&lng=en 4 0 50 Principles of model checking Tue, 01 Jan 2008 05:40:49 +0800 https://tuklas.up.edu.ph/Record/UP-99796217608810051 https://tuklas.up.edu.ph/Record/UP-99796217608810051 Baier, Christel Book 2008 Baier, Christel 0 Formal system verification state-of-the-art and future trends Mon, 01 Jan 2018 05:40:49 +0800 https://tuklas.up.edu.ph/Record/UP-99796217613297928 https://tuklas.up.edu.ph/Record/UP-99796217613297928 Electronic Resource 2018 0 Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Sat, 01 Jan 2011 05:40:49 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611135138 https://tuklas.up.edu.ph/Record/UP-99796217611135138 Electronic Resource 2011 0 Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings Sat, 01 Jan 2011 05:40:49 +0800 https://tuklas.up.edu.ph/Record/UP-99796217611154618 https://tuklas.up.edu.ph/Record/UP-99796217611154618 Electronic Resource 2011 0