ผู้เขียน: Hubert Garavel

Hubert Garavel & John Hatcliff: Tools and Algorithms for the Construction and Analysis of Systems