UPPAAL Implementation Secrets (2002)

View PDF

Download Links

by Gerd Behrmann , Johan Bengtsson , Alexandre David , Kim G. Larsen , Paul Pettersson , Wang Yi
Citations:42 - 14 self