Ravn, Hans P books & textbook
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science, 1486)
Springer /1998-09-02 Paperback / 338 Pages
isbn-10: 3540650032 / isbn-13: 9783540650034
Hybrid Systems (Lecture Notes in Computer Science, 736)
Grossman, Robert L. Nerode, Anil Ravn, Anders P. Rischel, Hans
Springer /1993-10-05 Paperback / 484 Pages
isbn-10: 3540573186 / isbn-13: 9783540573180
Ecology and Management of Giant Hogweed (Heracleum mantegazzianum) (Cabi Publishing)
Pysek, Petr Cock, Matthew J W Nentwig, Wolfgang Ravn, Hans P
CABI /2007-01-29 Hardcover / 352 Pages
isbn-10: 1845932064 / isbn-13: 9781845932060
