scientific article
From MaRDI portal
Publication:2863860
zbMATH Open1276.68105MaRDI QIDQ2863860
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052552?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001. ⋮ Unnamed Item
This page was built for publication:
