scientific article
From MaRDI portal
Publication:2769580
zbMath0978.68543MaRDI QIDQ2769580
No author found.
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310098
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Compositional Verification for Component-Based Systems and Application ⋮ 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. ⋮ Refinement of Trace Abstraction
This page was built for publication:
