Tools for Model-Checking Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez. Tools for Model-Checking Timed Systems. In Claude Jard, Olivier H. Roux, editors, Communicating Embedded Systems. pages 165-225, Wiley, 2013. [doi]

This author has not been identified. Look up 'Alexandre David' in GoogleThis author has not been identified. Look up 'Gerd Behrmann' in GoogleThis author has not been identified. Look up 'Peter E. Bulychev' in GoogleThis author has not been identified. Look up 'Joakim Byg' in GoogleThis author has not been identified. Look up 'Thomas Chatain' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Jacob Illum Rasmussen' in GoogleThis author has not been identified. Look up 'Jirí Srba' in GoogleThis author has not been identified. Look up 'Wang Yi 0001' in GoogleThis author has not been identified. Look up 'Kenneth Yrke Jørgensen' in GoogleThis author has not been identified. Look up 'Didier Lime' in GoogleThis author has not been identified. Look up 'Morgan Magnin' in GoogleThis author has not been identified. Look up 'Olivier H. Roux' in GoogleThis author has not been identified. Look up 'Louis-Marie Traonouez' in Google

runs on WebDSL