Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Pigorsch, Florian"'
Autor:
Damm, Werner, Dierks, Henning, Disch, Stefan, Hagemann, Willem, Pigorsch, Florian, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris
Publikováno v:
In Science of Computer Programming 1 September 2012 77(10-11):1122-1150
Publikováno v:
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p
Autor:
Pigorsch, Florian, Scholl, Christoph
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p1405-1410, 6p
Autor:
Pigorsch, Florian, Scholl, Christoph
Publikováno v:
Proceedings of the 47th Design Automation Conference; 6/13/2010, p170-175, 6p
Autor:
Pigorsch, Florian, Scholl, Christoph
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 4/20/2009, p1596-1601, 6p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642007675); 2009, p383-397, 15p
Publikováno v:
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories & 1st International Workshop: Bit-precise Reasoning; 7/ 7/2008, p18-26, 9p
Autor:
Damm, Werner, Disch, Stefan, Hungar, Hardi, Jun Pang, Pigorsch, Florian, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris, Graf, Susanne, Wenhui Zhang
Publikováno v:
Automated Technology for Verification & Analysis (9783540472377); 2006, p276-291, 16p