scientific article; zbMATH DE number 1759758

zbMATH Open0988.68756MaRDI QIDQ4536775FDOQ4536775

Michele Malgeri, Giuseppe Mangioni, Vincenza Carchiolo

Publication date: 22 July 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• TTL: A modular language for hardware/software systems design.

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