1 Getting Service Engineering Right UML 2 in a nushell Based on a paper by Birger Møller-Pedersen, Øystein Haugen, Thomas Weigert.
- r r Saturation-Based Decision Procedures and Complexity Analysis Yevgeny Kazakov [email protected] R. 615 Applications Add semantic markup to a.