scientific article; zbMATH DE number 1104443

From MaRDI portal

Publication:4370347

Jump to:navigation, search

zbMath0899.03013MaRDI QIDQ4370347

Stephan Merz

Publication date: 10 November 1998

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

zbMATH Keywords

model checking interactive theorem proving TLA temporal logic of actions homomorphic abstraction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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