Publication:4790346

From MaRDI portal

Jump to:navigation, search

zbMath1048.68028MaRDI QIDQ4790346

Heike Wehrheim

Publication date: 2002

zbMATH Keywords

model checking; refinement

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68M14: Distributed systems

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