{"identifier":"nobleid:/w1/20260525/CA373C2F","arkIdentifier":"ark:/48914/w1/20260525/CA373C2F","version":1,"workTitle":"Dependable Controller Design Using Polymorphic Counters","workType":"Conference Paper","authors":"R. Ruzicka","description":null,"workUrl":null,"existingDoi":"10.1109/DSD.2009.227","createdAt":"2026-05-25T16:11:56.774906Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260525/CA373C2F.v1"}