Kolchin, A. V. (2013). A method for reduction of analyzed behavior space during verification of formal models of distributed software systems.
Chicago-Zitierstil (17. Ausg.)Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.
MLA-Zitierstil (8. Ausg.)Kolchin, A. V. A Method for Reduction of Analyzed Behavior Space During Verification of Formal Models of Distributed Software Systems. 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.