Author of the publication

Efficient Algorithm for Reachability Checking in Modeling.

, , and . ICTERI, volume 848 of CEUR Workshop Proceedings, page 71-81. CEUR-WS.org, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Insertion Modeling System and Constraint Programming., , , , and . ICTERI, volume 716 of CEUR Workshop Proceedings, page 51-64. CEUR-WS.org, (2011)About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation., , and . ICTERI (Revised Selected Papers), volume 347 of Communications in Computer and Information Science, page 149-164. Springer, (2012)Insertion Modeling System., , and . Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 262-273. Springer, (2011)The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification., , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 536-554. CEUR-WS.org, (2017)An Interleaving Reduction for Reachability Checking in Symbolic Modeling., , and . ICTERI, volume 1356 of CEUR Workshop Proceedings, page 338-353. CEUR-WS.org, (2015)An Algebraic Approach for Analyzing of Legal Requirements., , , and . RE Workshops, page 209-212. IEEE Computer Society, (2017)Usage of Invariants for Symbolic Verification of Requirements., , , , , and . SCSS, volume 15 of EPiC Series in Computing, page 124. EasyChair, (2013)Efficient Algorithm for Reachability Checking in Modeling., , and . ICTERI, volume 848 of CEUR Workshop Proceedings, page 71-81. CEUR-WS.org, (2012)Formalization and Algebraic Verification of Legal Requirements., , , , , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 524-535. CEUR-WS.org, (2017)Specializations and Symbolic Modeling., , and . ICTERI, volume 1000 of CEUR Workshop Proceedings, page 490-505. CEUR-WS.org, (2013)