Publication:4942018

zbMath0953.68570MaRDI QIDQ4942018

Pao-Ann Hsiung, Farn Wang

Publication date: 19 March 2000

zbMATH Keywords

state-graph manipulators

Mathematics Subject Classification ID

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