Skip to content

Verifying Broperties of Systems with Variable Timing Constraints.

Farnam Jahanian

VenueARTSS
Year1989
ProceedingsRTSS

Browse the full RTSS paper archive.