Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. In IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010. pages 197-200, IEEE, 2010. [doi]
Abstract is missing.