Barringer, Howard, 1951-....
Barringer, Howard
Barringer, H.
VIAF ID: 108671282 ( Personal )
Permalink: http://viaf.org/viaf/108671282
Preferred Forms
-
- 100 1 _ ‡a Barringer, Howard
-
-
-
- 100 1 _ ‡a Barringer, Howard ‡d 1951-
- 100 1 _ ‡a Barringer, Howard ‡d 1951-
- 100 1 0 ‡a Barringer, Howard, ‡d 1951-
-
-
-
-
- 100 1 _ ‡a Barringer, Howard, ‡d 1951-....
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Advances in temporal logic | |
The Imperative future : principles of executable temporal logic | |
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | |
survey of verification techniques for parallel programs | |
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings |