Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract)

Cached

Download Links

by J. Godskesen , Jens Chr Godskesen , Kim G. Larsen
Citations:7 - 2 self