Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 380 of IFIP Advances in Information and Communication Technology, page 105-113. Springer, (2012)
Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 380 of IFIP Advances in Information and Communication Technology, page 105-113. Springer, (2012)
Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 362 of IFIP Advances in Information and Communication Technology, page 456-464. Springer, (2011)
Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 362 of IFIP Advances in Information and Communication Technology, page 456-464. Springer, (2011)
Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 362 of IFIP Advances in Information and Communication Technology, page 85-92. Springer, (2011)
Maik Herfurth, Thomas Schuster, and Peter Weiß. PRO-VE, volume 362 of IFIP Advances in Information and Communication Technology, page 85-92. Springer, (2011)