Huth, Michael, 1962-....
Huth, Michael
Huth, Michael R.A., 1962-
Michael Reiner August Huth
Huth, Michael R.A
VIAF ID: 116975972 (Personal)
Permalink: http://viaf.org/viaf/116975972
Preferred Forms
- 200 _ | ‡a Huth ‡b Michael R. A. ‡f 1962-....
-
- 100 1 _ ‡a Huth, Michael
- 100 1 _ ‡a Huth, Michael
-
-
-
-
- 100 1 _ ‡a Huth, Michael, ‡d 1962-
-
- 100 1 _ ‡a Huth, Michael, ‡d 1962-
-
-
- 100 1 _ ‡a Huth, Michael, ‡d 1962-....
- 100 0 _ ‡a Michael Reiner August Huth
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Inductive approaches | |
Logic in computer science : modelling and reasoning about systems | |
Mathematical foundations of advanced informatics. | |
An overview of blockchain science and engineering | |
Secure communicating systems : design, analysis, and implementation | |
TACAS 2007 | |
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings |