Schneider, Klaus, 1967-....
Klaus Schneider
VIAF ID: 44582611 ( Personal )
Permalink: http://viaf.org/viaf/44582611
Preferred Forms
- 100 0 _ ‡a Klaus Schneider
- 200 _ | ‡a Schneider ‡b Klaus ‡f 1967-....
-
- 100 1 _ ‡a Schneider, Klaus ‡d 1967-
- 100 1 _ ‡a Schneider, Klaus ‡d 1967-
-
- 100 1 _ ‡a Schneider, Klaus, ‡d 1967-
-
-
-
-
- 100 1 _ ‡a Schneider, Klaus, ‡d 1967-....
4xx's: Alternate Name Forms (2)
5xx's: Related Names (5)
- 551 _ _ ‡a Kaiserslautern
- 510 2 _ ‡a TPHOLs 20, 2007, Kaiserslautern
- 510 2 _ ‡a TPHOLs 2007 (2007 : Kaiserslautern, Germany)
- 510 2 _ ‡a Universität Kaiserslautern ‡b Fachbereich Informatik ‡e Affiliation
- 510 2 _ ‡a Universität Kaiserslautern ‡b Fachbereich Informatik
Works
Title | Sources |
---|---|
MBMV 2019 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” : 8.-9. April in Kaiserlautern | |
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting | |
Theorem proving in higher order logics 20th international conference ; proceedings | |
Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures | |
TPHOLs 2007 | |
Verification of behavior-based control systems in their physical environment | |
Verification of reactive systems : formal methods and algorithms |