scientific article; zbMATH DE number 1927550

zbMath1012.68828MaRDI QIDQ4484474

Jaco van de Pol, Ernst Kesseler, Natalia Ioustinova, Yuri A. Yushtein, Yaroslav S. Usenko, W. J. Fokkink

Publication date: 12 June 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

State Space Reduction of Linear Processes Using Control Flow Reconstruction

Uses Software

• SPIN
• Alcoa

This page was built for publication: