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 Style (17th ed.) CitationKolchin, A. V., A. A. Letichevskij, and S. V. Potienko. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
MLA (8th ed.) CitationKolchin, A. V., et al. A Static Method for Elimination of Redundant Dependencies in Preconditions of Transitions of Formal Models of Transition Systems. 2015.
Warning: These citations may not always be 100% accurate.