2026-07-20T01:04:35Zhttps://ce.visuallibrary.net/ubpb/oai/

oai:ce.visuallibrary.net/ubpb:9108252018-07-07T15:00:27Zubpbcebook

vls/2603nrwcece.visuallibrary.netvdHandbook of model checkingClarke, Edmund M.edtHerausgeberHenzinger, Thomas A.edtHerausgeberVeith, HelmutedtHerausgeberBloem, RoderickedtHerausgebertextbookChamSpringer20182018monographicengxxiv, 1210 SeitenIllustrationenEdmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editorsModel CheckingAlgorithmusBVBBV042952174978-3-319-10574-1HT019725995Online-Ausgabe978-3-319-10575-8466464D01464D002018062620180704TVA3328rda https://ce.visuallibrary.net//domainresource/static/graphics/connectors/viewerLogo.gif http://193.30.112.129:83/F/?func=find-c&ccl_term=ICS%3DTVA3328 https://ce.visuallibrary.net/id/910825 https://ce.visuallibrary.net/i3f/v20/910825/manifest https://ce.visuallibrary.net/proto_ftsearch/910825