author:Ravn, Anders P. | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5799)

Liu, Zhiming／Ravn, Anders P.

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)

Rischel, Hans／Ravn, Anders P.

Hybrid Systems (Lecture Notes in Computer Science, 736)

Nerode, Anil／Rischel, Hans／Grossman, Robert L.／Ravn, Anders P.