scientific article; zbMATH DE number 2080772

zbMath1050.68511MaRDI QIDQ4473739

Joseph Sifakis

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110373.htm

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

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Related Items (2)

Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets ⋮ Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems

Uses Software

• Kronos
• TAXYS
• SIGNAL

This page was built for publication: