![](/img/cover-not-exists.png)
[IEEE 19th IEEE International Parallel and Distributed Processing Symposium - Denver, CO, USA (04-08 April 2005)] 19th IEEE International Parallel and Distributed Processing Symposium - Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking
Zhao Jianhua,, Zhou Xiuyi,, Li Xuandong,, Zheng Guoliang,Year:
2005
Language:
english
DOI:
10.1109/ipdps.2005.146
File:
PDF, 202 KB
english, 2005