scientific article; zbMATH DE number 1069486

zbMath1114.68440MaRDI QIDQ4356437

Peter B. Ladkin, Stefan Leue

Publication date: 14 January 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Feature interaction detection by pairwise analysis of LTL properties -- A case study

Uses Software

• PROMELA

This page was built for publication: