Skip to content

Constructing Abstract Models of Concurrent Real-Time Software.

James C. Corbett

VenueAISSTA
Year1996
ProceedingsISSTA

Browse the full ISSTA paper archive.