Login / Signup

Timed Transition Systems.

Thomas A. HenzingerZohar MannaAmir Pnueli
Published in: REX Workshop (1991)
Keyphrases