An Adequate Logic for Full LOTOS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Muffy Calder, Savi Maharaj, Carron Shankland. An Adequate Logic for Full LOTOS. In José Nuno Oliveira, Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Volume 2021 of Lecture Notes in Computer Science, pages 384-395, Springer, 2001. [doi]

This author has not been identified. Look up 'Muffy Calder' in GoogleThis author has not been identified. Look up 'Savi Maharaj' in GoogleThis author has not been identified. Look up 'Carron Shankland' in Google

runs on WebDSL