scientific article; zbMATH DE number 5170628

MaRDI QIDQ5297555zbMATH OpenFDO

Authors

Publication date 11 July 2007

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)

• Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3--7, 2003. Proceedings
• Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008

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 Q5297555)