On a class of optimal abstractions of finite-state machines Kostas N. Oikonomou OriginalPaper Pages: 195 - 220
Experiences with software specification and verification using LP, the Larch proof assistant Manfred Broy OriginalPaper Pages: 221 - 272
Mod-2-OBDDs—A data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams Jordan GergovChristoph Meinel OriginalPaper Pages: 273 - 282