SARNA-STAROSTA, B., & RAMAKRISHNAN, C. R. (2003, Januar 1). Constraint-based model checking of data-independent systems. Gehalten auf der. Berlin: Springer, 2003. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15714559
ISO-690 (author-date, English)SARNA-STAROSTA, Beata und RAMAKRISHNAN, C. R, 2003. Constraint-based model checking of data-independent systems. In: [online]. Berlin: Springer, 2003. 1 Januar 2003. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15714559
Modern Language Association 9th editionSARNA-STAROSTA, B., und C. R. RAMAKRISHNAN. Constraint-based model checking of data-independent systems. Berlin: Springer, 2003., 2003, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15714559.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
SARNA-STAROSTA, B. und RAMAKRISHNAN, C.R. (2003), „Constraint-based model checking of data-independent systems“, in , Bd. , Berlin: Springer, 2003., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15714559.