scientific article; zbMATH DE number 2085280

zbMATH Open1053.68536MaRDI QIDQ4736515

C. R. Ramakrishnan, K. Narayan Kumar, Scott A. Smolka

Publication date: 9 August 2004

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: