 |
|
|
|
| 1. |
|
Runtime Verification
Christian Colombo, Martin Leucker
Häftad. Springer Nature Switzerland AG, Schweiz, 2018.
|
 |
| 2. |
|
Runtime Verification
Christian Colombo, Martin Leucker
E-bok. Springer International Publishing, Schweiz, 2018.
|
|
| 3. |
|
Formal Methods in Outer Space
Ezio Bartocci, Ylis Falcone, Martin Leucker
Häftad. Springer Nature Switzerland AG, Schweiz, 2021.
|
|
| 4. |
|
Formal Methods in Outer Space
Ezio Bartocci, Ylies Falcone, Martin Leucker
E-bok. Springer International Publishing, Schweiz, 2021.
|
|
| 5. |
|
Formal Methods
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Häftad. Springer International Publishing AG, Schweiz, 2023.
|
|
| 6. |
|
Formal Methods
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
E-bok. Springer International Publishing, Schweiz, 2023.
|
|
| 7. |
|
Formal Methods
Chechik Marsha Chechik, Katoen Joost-Pieter Katoen, Leucker Martin Leucker
Häftad. Springer Nature B.V., Schweiz, 2023.
|
|
| 8. |
|
Theoretical Aspects of Computing - ICTAC 2015
Martin Leucker, Camilo Rueda, Frank D Valencia
Häftad. Springer International Publishing AG, Schweiz, 2015.
|
|
| 9. |
|
Theoretical Aspects of Computing - ICTAC 2015
Martin Leucker, Camilo Rueda, Frank D Valencia
E-bok. Springer International Publishing, Schweiz, 2015.
|
|
| 10. |
|
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2005.
|
|
| 11. |
|
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
E-bok. Springer Berlin Heidelberg, Tyskland, 2005.
|
|
| 12. |
|
Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 13. |
|
Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 14. |
|
Runtime Verification
Martin Leucker
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 15. |
|
Runtime Verification
Martin Leucker
E-bok. Springer Berlin Heidelberg, Tyskland, 2008.
|
|
| 16. |
|
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker, Charles Carroll Morgan
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 17. |
|
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker, Charles Carroll Morgan
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
|
|
