Author Info
Name
Affiliation
Papers
NATALIYA SKRYPNYUK
Informatics and Mathematical Modelling, Richard Petersens Plads Bldg. 321, Technical University of Denmark, DK-2800 Kongens Lyngby, Denmark
3
Collaborators
Citations 
PageRank 
2
2
1.35
Referers 
Referees 
References 
3
25
15
Title
Citations
PageRank
Year
Reachability For Finite-State Process Algebras Using Horn Clauses00.342013
Static Analysis of IMC.10.632012
Reachability for finite-state process algebras using static analysis10.392011