scientific article; zbMATH DE number 868110

zbMath0852.68055MaRDI QIDQ4873995

Raghu Mani, Yuri Gurevich

Publication date: 21 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

evolving algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Concurrent abstract state machines

This page was built for publication: