![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor Spence, John Brown, Peter Kilpatrick: Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains. SLE 2008: 134-150 |
1 | EE | Ivor Spence: tts: A SAT-Solver for Small, Difficult Instances. JSAT 4(2-4): 173-190 (2008) |
1 | Uwe Aßmann | [2] |
2 | John Brown | [2] |
3 | Mathias Fritzsche | [2] |
4 | Wasif Gilani | [2] |
5 | Jendrik Johannes | [2] |
6 | Peter Kilpatrick (P. L. Kilpatrick) | [2] |
7 | Simon Mitschke | [2] |