UPPAAL in a Nutshell (1997)

Cached

Download Links

by Kim G. Larsen , Paul Pettersson , Wang Yi
Citations:493 - 38 self

Document Versions

UPPAAL in a Nutshell –Kim G. Larsen, Paul Pettersson, Wang Yi — 1997
UPPAAL in a nutshell –Kim G. Larsen, Paul Pettersson, Wang Yi — 1997 — Int. Journal on Software Tools for Technology Transfer