DMCA

Formal design and analysis of a gear controller (1998)

by Magnus Lindahl , Paul Pettersson , Wang Yi
Venue:PROCEEDINGS OF 4TH INTERNATIONAL WORKSHOP ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, VOLUME 1384 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:26 - 7 self