Specification Patterns for Time-Related Properties.

Volker Gruhn, Ralf Laue

Browse the full TIME paper archive.