scientific article; zbMATH DE number 1760804
From MaRDI portal
Publication:4537286
zbMATH Open0996.68109MaRDI QIDQ4537286FDOQ4537286
Authors: F. J. Moreno-Velo, S. Sánchez-Solano, A. Barriga, I. Baturone, Dian Rae Lopez
Publication date: 4 November 2002
Full work available at URL: https://eudml.org/doc/39225
Title of this publication is not available (Why is that?)
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (6)
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 Q4537286)