PAROSH AZIZ ABDULLA, DENEUX, J., MAHATA, P., & NYLEN, A. (2004, Januar 1). Forward reachability analysis of timed Petri nets. Gehalten auf der. Berlin: Springer, 2004. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16335676
ISO-690 (author-date, English)PAROSH AZIZ ABDULLA, DENEUX, Johann, MAHATA, Pritha und NYLEN, Aletta, 2004. Forward reachability analysis of timed Petri nets. In: [online]. Berlin: Springer, 2004. 1 Januar 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16335676
Modern Language Association 9th editionPAROSH AZIZ ABDULLA, J. DENEUX, P. MAHATA, und A. NYLEN. Forward reachability analysis of timed Petri nets. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16335676.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
PAROSH AZIZ ABDULLA, DENEUX, J., MAHATA, P. und NYLEN, A. (2004), „Forward reachability analysis of timed Petri nets“, in , Bd. , Berlin: Springer, 2004., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16335676.