scientific article

From MaRDI portal

Publication:4037386

Jump to:navigation, search

zbMath0765.68145MaRDI QIDQ4037386

Orna Grumberg, Gil Shurek

Publication date: 18 May 1993

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

zbMATH Keywords

verification of finite-state programs temporal logic specifications proof system schemes

Mathematics Subject Classification ID

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

Related Items (1)

Compositional minimisation of finite state systems using interface specifications

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4037386&oldid=17755250"