Analyzing a Real-Time Program with Z.

Jonathan Jacky Analyzing a Real-Time Program with Z. 136-153 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#Jacky98