Opening book details…
Can I read Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure on EtoBox?
Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure by Bing Li; Chao Wang; Fabio Somenzi is a Computer Science article available to read on EtoBox.
What is Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure about?
This book examines transmissibility to remind us why the vitality and epistemic significance of an artwork is anachronistic and futural. Transmissibility: Writing Aesthetic History performs a transdisciplinary philosophy of aesthetic history via the work of Gilles Deleuze and Félix Guattari, Cy Twombly, Marina Abramović, Paul Celan, Cecil Taylor, Italo Calvino, Candida Höfer, and others by focusing on the□artistic and historiographic labor that differentiates artworks from other modes of creation.
Who reads Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Bing Li; Chao Wang; Fabio Somenzi
- Publisher
- Routledge
- Published
- 2005
- Language
- EN
- ISBN
- 9781000900408
- Field
- Computer Science (Physical Sciences)