Using mappings to prove timing properties /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
Laboratory for Computer Science, Massachusetts Institute of Technology,
1992
|
| Series: | MIT/LCS/TM ;
412 |
| Subjects: |
| Item Description: | "April 1992." "Replacing 412.d"--Cover |
|---|---|
| Physical Description: | 41 p. ; 28 cm |
| Bibliography: | Includes bibliographical references (p. 38-41) |