( en | de | ru )

 

Disambiguierung von "Nachmanson, Lev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

, , , , , und . Formal Methods and Testing, Volume 4949 von Lecture Notes in Computer Science, Seite 39-76. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

Lev Kadinski

 

Weitere Publikationen von Autoren mit dem selben Namen

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