An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic

Autor:	Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, Rossum, P.J.B. van, Schulz, Stephan, Sebastiani, Roberto, Halbwachs, Nicolas, Zuck, Lenore D.
Přispěvatelé:	Halbwachs, Nicolas, Zuck, Lenore D.
Rok vydání:	2005
Předmět:	Lect. Notes Comp. Sci Security of Systems
Zdroj:	Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005), pp. 317-333 Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005), 317-333. Berlin ; New York : Springer Verlag STARTPAGE=317;ENDPAGE=333;TITLE=Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005)
Popis:	Item does not contain fulltext
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5750ead55d9d7b8bb0fecff2588a82c8 https://hdl.handle.net/2066/33280 Zobrazit plný text záznamu