scientific article; zbMATH DE number 683368
From MaRDI portal
Publication:4312490
zbMath0812.68095MaRDI QIDQ4312490
Publication date: 8 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Formalizing process algebraic verifications in the calculus of constructions ⋮ Size-based termination of higher-order rewriting ⋮ Formal verification of a leader election protocol in process algebra ⋮ Confluence for process verification ⋮ Inductive-data-type systems
Uses Software
This page was built for publication:
