scientific article; zbMATH DE number 1735880

zbMath1010.68089MaRDI QIDQ4329241

Paula Gouveia, Cristina Sernadas

Publication date: 29 April 2002

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

zbMATH Keywords

reactive system specification

Mathematics Subject Classification ID

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

This page was built for publication: