Aichernig, Bernhard K., 1969-....
Aichernig, Bernhard K.
Bernhard K. Aichernig obor působnosti: počítačová věda
VIAF ID: 85410832 ( Personal )
Permalink: http://viaf.org/viaf/85410832
Preferred Forms
-
-
- 100 1 _ ‡a Aichernig, Bernhard K. ‡d 1969-
-
-
- 100 1 _ ‡a Aichernig, Bernhard K., ‡d 1969-
-
- 100 1 _ ‡a Aichernig, Bernhard K., ‡d 1969-....
- 100 0 _ ‡a Bernhard K. Aichernig ‡c obor působnosti: počítačová věda
Works
Title | Sources |
---|---|
FMCO 2010 | |
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers | |
Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 : revised papers | |
Mélanges. Haeberer, Armando Martín | |
Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués. | |
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings |