Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68241OpenAlexW2739785336MaRDI QIDQ5899055

Muralidhar Talupur, Aarti Gupta, Malay K. Ganai

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (2)

Local Search For Satisfiability Modulo Integer Arithmetic Theories ⋮ SDSAT

Uses Software

• PVS

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems