Vol-1692⫷ Vol-1693 ⫸Vol-1694
urn:nbn:de:0074-1693-0


Vol-1693/pamepaper1⫷Vol-1693/pamepaper2⫸Vol-1693/pamepaper3

Model-based diagnosis patterns for model checking