OpenAlex
On Weak Modal Compatibility, Refinement, and the MIO Workbench
Work
Year: 2010
Type: book-chapter
Source: Lecture notes in computer science
Authors Sebastian Bauer, Philip Mayer, A. Sebastian Schroeder, Rolf Hennicker
Institution Ludwig-Maximilians-Universität München
Cites: 24
Cited by: 78
Related to: 10
FWCI: 10.92
Citation percentile (by year/subfield): 97.25
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze