scientific article; zbMATH DE number 1361480
From MaRDI portal
Publication:4699298
zbMath0951.68055MaRDI QIDQ4699298
Reiko Heckel, Hartmut Ehrig, Andrea Corradini, U. E. Wolter
Publication date: 1 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Temporal logic (03B44) Categories of machines, automata (18B20)
Related Items (1)
This page was built for publication:
