11![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/649d1687c43c45482e896db59f26bf4c.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-04-11 03:38:44
|
---|
12![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/7de26a0b443bbd564b2bd8239835c9fd.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-03-22 06:21:29
|
---|
13![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/175a7eb6bba2a688a3f3c9d919c671d4.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-03-08 03:02:44
|
---|
14![Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum](https://www.pdfsearch.io/img/f681ba8c4e39056f2550a271d0c9171b.jpg) | Add to Reading ListSource URL: www.applied.math.tugraz.atLanguage: German - Date: 2018-03-14 12:56:36
|
---|
15![Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog](https://www.pdfsearch.io/img/d4af1f370b9930dd3c1704edcd158509.jpg) | Add to Reading ListSource URL: spinroot.com- Date: 2013-08-11 14:51:27
|
---|
16![Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology Proving Properties of Concurrent Programs (Extended Abstract) Gerard J. Holzmann Jet Propulsion Laboratory, California Institute of Technology](https://www.pdfsearch.io/img/4ff1babb39f1593a0dc9f8e53a6ab480.jpg) | Add to Reading ListSource URL: spinroot.com- Date: 2013-06-30 13:44:58
|
---|
17![Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA](https://www.pdfsearch.io/img/1f502e9032cde16b2e77eef907219047.jpg) | Add to Reading ListSource URL: spinroot.com- Date: 2012-07-30 14:15:10
|
---|
18![Leinwand 4.0 Bettina Patermo | Josef Ramaseder | Markus Riebe | Josef Schwaiger Text von Johannes Holzmann, Foto: Sonja Dürnberger Josef Ramaseder fokussiert auf die Medialität des Bildes im Leinwand 4.0 Bettina Patermo | Josef Ramaseder | Markus Riebe | Josef Schwaiger Text von Johannes Holzmann, Foto: Sonja Dürnberger Josef Ramaseder fokussiert auf die Medialität des Bildes im](https://www.pdfsearch.io/img/3fdfe324842c2d341c5968bb696a1e1c.jpg) | Add to Reading ListSource URL: www.noedok.atLanguage: German - Date: 2016-04-05 03:34:39
|
---|
19![Paper of the month: December 2013 Deficiency of innate and acquired immunity caused by an IKBKB mutation. Pannicke U, Baumann B, Fuchs S, Henneke P, Rensing-Ehl A, Rizzi M, Janda A, Hese K, Schlesier M, Holzmann K, Borte Paper of the month: December 2013 Deficiency of innate and acquired immunity caused by an IKBKB mutation. Pannicke U, Baumann B, Fuchs S, Henneke P, Rensing-Ehl A, Rizzi M, Janda A, Hese K, Schlesier M, Holzmann K, Borte](https://www.pdfsearch.io/img/5f6bb8194e827385945e7de28cd5b68c.jpg) | Add to Reading ListSource URL: www.research4rare.deLanguage: German - Date: 2014-04-28 03:41:58
|
---|
20![E A Altherr Ammann Antolini Holzmann E A Altherr Ammann Antolini Holzmann](https://www.pdfsearch.io/img/b17cdae76c54f40b3048457cd3ce8e46.jpg) | Add to Reading ListSource URL: www.hrse.chLanguage: German - Date: 2014-06-02 05:57:54
|
---|