Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann: "Assumption-Based Modeling Using ABEL" pp171-182 (1997) |
Dov M. Gabbay, et al (1997) Dov M. Gabbay, et al "Qualitative and Quantitative Practical Reasoning" First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244 Springer 1997,
Languages mentioned
- ABEL {1997} Language for behavior-like desriptions of a logic circuit
|
|
|