scientific article

zbMath0978.68536MaRDI QIDQ2769577

Tevfik Bultan, Murat Tuncer, Tuba Yavuz-Kahveci

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310052

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• CUDD
• Uppaal
• Omega
• Salsa

This page was built for publication: