( en | de | ru )

 

Disambiguation of "Nachmanson, Lev"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

, , , , , and . Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 39-76. Springer, (2008)

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.

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

Lev Kadinski

 

Other publications of authors with the same name

A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps., and . CoRR, (2017)Navigating the Universe of Z3 Theory Solvers., and . SBMF, volume 12475 of Lecture Notes in Computer Science, page 8-24. Springer, (2020)Play to Test., , , and . FATES, volume 3997 of Lecture Notes in Computer Science, page 32-46. Springer, (2005)Node Overlap Removal by Growing a Tree., , , , and . GD, volume 9801 of Lecture Notes in Computer Science, page 33-43. Springer, (2016)A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps., and . VISIGRAPP (3: IVAPP), page 108-119. SciTePress, (2018)Graph Drawing Contest Report, , , and . Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD'16), volume 9801 of Lecture Notes in Computer Science, page 589--595. Springer-Verlag, (September 2016)Fast Edge-Routing for Large Graphs., and . GD, volume 5849 of Lecture Notes in Computer Science, page 147-158. Springer, (2009)Graph Drawing Contest Report., , , and . GD, volume 8242 of Lecture Notes in Computer Science, page 508-513. Springer, (2013)Graph Drawing Contest Report, , , and . Proceedings of the 23rd International Symposium on Graph Drawing and Network Visualization (GD'15), volume 9411 of Lecture Notes in Computer Science, page 531--537. Springer, (September 2015)Drawing Permutations with Few Corners., , , and . GD, volume 8242 of Lecture Notes in Computer Science, page 484-495. Springer, (2013)