Holzmann - PDFSEARCH.IO - Document Search Engine

Holzmann
Results: 83

#	Item
11	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: German - Date: 2018-04-11 03:38:44
12	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: German - Date: 2018-03-22 06:21:29
13	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: German - Date: 2018-03-08 03:02:44
14	Uni Graz TU Graz H. Gausterer, M. Gomez Rocha M. Holzmann, P. Schlosser, M. Weichselbaum Add to Reading List Source URL: www.applied.math.tugraz.at Language: 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source URL: www.noedok.at Language: 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 Add to Reading List Source URL: www.research4rare.de Language: German - Date: 2014-04-28 03:41:58
20	E A Altherr Ammann Antolini Holzmann Add to Reading List Source URL: www.hrse.ch Language: German - Date: 2014-06-02 05:57:54