Mona: Decidable Arithmetic in Practice - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Morten Biehl, Nils Klarlund, Theis Rauhe. Mona: Decidable Arithmetic in Practice. In Bengt Jonsson, Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Volume 1135 of Lecture Notes in Computer Science, pages 459-462, Springer, 1996.

This author has not been identified. Look up 'Morten Biehl' in GoogleThis author has not been identified. Look up 'Nils Klarlund' in GoogleThis author has not been identified. Look up 'Theis Rauhe' in Google

runs on WebDSL