Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMath1126.68354OpenAlexW4299869287MaRDI QIDQ5308411

Helmut Seidl, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Flemming Nielson, Henrik Pilegaard, Hanne Riis Nielson

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

A framework for security analysis of mobile wireless networks ⋮ Planning as tabled logic programming ⋮ Relational Analysis of Correlation ⋮ Pathway analysis for BioAmbients ⋮ Type Inference for Correspondence Types ⋮ From flow logic to static type systems for coordination languages

Uses Software

• Succinct

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems