scientific article; zbMATH DE number 2090843
From MaRDI portal
Publication:4813395
zbMath1067.68539MaRDI QIDQ4813395
Di Ma, Tian Zhao, Rupak Majumdar, Jens Palsberg, Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2694/26940109.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Interval Temporal Logic for Visibly Pushdown Systems ⋮ Unnamed Item ⋮ CaRet With Forgettable Past ⋮ Context-free timed formalisms: robust automata and linear temporal logics
This page was built for publication:
