Kroening, Daniel.
Kröning, Daniel, fl. 2001-
دانيال كرويننغ
Kroening, Daniel, 1975-
VIAF ID: 315220095 ( Personal )
Permalink: http://viaf.org/viaf/315220095
Preferred Forms
-
- 100 1 _ ‡a Kroening, Daniel
-
- 100 1 _ ‡a Kroening, Daniel
-
- 100 1 _ ‡a Kroening, Daniel
-
-
-
-
- 100 1 _ ‡a Kröning, Daniel, ‡d fl. 2001-
- 100 0 _ ‡a دانيال كرويننغ
4xx's: Alternate Name Forms (6)
5xx's: Related Names (3)
- 510 2 _ ‡a Carnegie Mellon University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Eidgenössische Technische Hochschule Zürich ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Oxford ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II | |
Decision Procedures An Algorithmic Point of View | |
Digitaltechnik — Eine praxisnahe Einführung | |
Formal verification of pipelined microprocessors | |
Model checking | |
Prosty przypadek dwuwiązkowego bloku serca | |
A simple case of bifascicular block, or is there more than meets the eye? | |
Validation of Evolving Software | |
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers |