J. F. Leathrum;K. A. Liburdy
Clemson University, Clemson, South Carolina;Clemson University, Clemson, South Carolina
Temporal logic for real time systems
UNIX, POSIX, and Open Systems: The Open Standards Puzzle