Publication:4934523

zbMath0945.68123MaRDI QIDQ4934523

Peter Baumgartner, Dorothea Schäfer

Publication date: 9 April 2000

zbMATH Keywords

model elimination

Mathematics Subject Classification ID

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