scientific article; zbMATH DE number 1773098
From MaRDI portal
Publication:4540984
zbMATH Open0989.68552MaRDI QIDQ4540984FDOQ4540984
Authors: J. Howard Johnson
Publication date: 28 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2088/20880335
Title of this publication is not available (Why is that?)
Recommendations
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
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 Q4540984)