GARAVEL, H., & SERWE, W. (2006, Januar 1). State space reduction for process algebra specifications. 351(2). Amsterdam: Elsevier, 2006. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17542839
ISO-690 (author-date, English)GARAVEL, Hubert und SERWE, Wendelin, 2006. State space reduction for process algebra specifications. In: [online]. Amsterdam: Elsevier, 2006. 1 Januar 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17542839
Modern Language Association 9th editionGARAVEL, H., und W. SERWE. State space reduction for process algebra specifications. Nr. 2, Amsterdam: Elsevier, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17542839.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
GARAVEL, H. und SERWE, W. (2006), „State space reduction for process algebra specifications“, in , Bd. 351, Amsterdam: Elsevier, 2006., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17542839.