Kolchin, A. V., Letichevskij, A. A., & Potienko, S. V. (2015). A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems.
Chicago-Zitierstil (17. Ausg.)Kolchin, A. V., A. A. Letichevskij, und S. V. Potienko. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
MLA-Zitierstil (8. Ausg.)Kolchin, A. V., et al. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.