Bridging the Gap between Formal Methods and Scheduling Theory
N. C. Audsley, A. Burns, M. F. Richardson, D.J Scholefield, A. J. Wellings and H.S.M. Zedan
No Abstract Available
Download Not Available
BibTex Entry
@techreport{Audsley1993d,
abstract = {},
author = {N. C. Audsley and A. Burns and M. F. Richardson and D.J Scholefield and A. J. Wellings and H.S.M. Zedan},
institution = {Department of Computer Science, University of York},
number = {YCS-195},
title = {Bridging the Gap between Formal Methods and Scheduling Theory},
year = {1993}
}