scientific article; zbMATH DE number 1796121
From MaRDI portal
Publication:4551131
zbMath0991.68555MaRDI QIDQ4551131
I. V. Ramakrishnan, Abhik Roychoudhury
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020025
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Model Checking Parameterized Systems ⋮ Feature interaction detection by pairwise analysis of LTL properties -- A case study
Uses Software
This page was built for publication:
