scientific article; zbMATH DE number 1979541

zbMath1019.68620MaRDI QIDQ4427892

Satyaki Das, David L. Dill

Publication date: 14 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170019.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Related Items (4)

Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) ⋮ Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) ⋮ Verifying Reference Counting Implementations ⋮ Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

Uses Software

• SLAM
• InVeSt

This page was built for publication: