2005 | ||
---|---|---|
1 | EE | Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim: ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. Abstract State Machines 2005: 417- |
1 | Alexander Bienemann (Aleksander Binemann-Zdanowicz) | [1] |
2 | Peggy Schmidt | [1] |
3 | Bernhard Thalheim | [1] |