scientific article; zbMATH DE number 5076008

MaRDI QIDQ3410237zbMATH OpenFDO

Authors

Publication date 24 November 2006

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(2)

• Special Issue: Automated verification of critical systems (AVoCS). Selected and revised papers based on the presentation at the international workshop, Southhampton, UK, April 2--3, 2003.
• scientific article; zbMATH DE number 5692658 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3410237)