Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Behaviour Protection in Modular Rule-Based System Specifications

Francisco Durán , Fernando Orejas , Steffen Zschaler
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.24-49, ⟨10.1007/978-3-642-37635-1_2⟩
Conference papers hal-01485976v1