On Specification and Verification of Location-Based Fault Tolerant Mobile Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky. On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 168-188, Springer, 2006. [doi]

This author has not been identified. Look up 'Alexei Iliasov' in GoogleThis author has not been identified. It may be one of the following persons:

Victor Khomenko

Look up 'Victor Khomenko' in GoogleThis author has not been identified. Look up 'Maciej Koutny' in GoogleThis author has not been identified. Look up 'Alexander Romanovsky' in Google

runs on WebDSL