Using mappings to prove timing properties /

Using mappings to prove timing properties /

Show other versions (5)
Bibliographic Details
Main Author: Lynch, Nancy A (Nancy Ann), 1948-
Corporate Author: Massachusetts Institute of Technology Laboratory for Computer Science
Other Authors: Attiya, Hagit
Format: Book
Language:English
Published: Cambridge, Mass. : Laboratory for Computer Science, Massachusetts Institute of Technology, 1992
Series:MIT/LCS/TM ; 412
Subjects:
Technical reports
LEADER 01916nam a2200409K 4500
001 248ecd02-bec5-42d3-a6bd-3c0fda2047d4
005 20240901000000.0
008 921007s1992 mau rbt 000 0 eng d
035 |a (MCM)000624485 
035 |a (MCM)000624485MIT01 
035 |a (OCoLC)26736809 
040 |a MYG  |c MYG 
049 |a MYGV 
090 |a QA76.M41  |b P965 no.412e 
099 |a QA76.M41.P965 no.412e 
100 1 |a Lynch, Nancy A  |q (Nancy Ann),  |d 1948- 
245 1 0 |a Using mappings to prove timing properties /  |c Nancy Lynch, Hagit Attiya 
260 |a Cambridge, Mass. :  |b Laboratory for Computer Science, Massachusetts Institute of Technology,  |c 1992 
300 |a 41 p. ;  |c 28 cm 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a MIT/LCS/TM ;  |v 412e 
500 |a "April 1992." 
500 |a "Replacing 412.d"--Cover 
504 |a Includes bibliographical references (p. 38-41) 
536 |a Supported by DARPA  |b N00014-87-K-0825  |b N00014-89-J-1988 
536 |a Supported by NSF  |c CCR-8611442  |c CCR-8915206 
536 |a Supported by ONR  |b N00014-85-K-0168  |b N00014-91-J-0146 
655 7 |a Technical reports  |2 fast 
655 7 |a Technical reports  |2 lcgft 
700 1 |a Attiya, Hagit 
710 2 |a Massachusetts Institute of Technology  |b Laboratory for Computer Science. 
830 0 |a MIT/LCS/TM ;  |v 412 
999 1 0 |i 248ecd02-bec5-42d3-a6bd-3c0fda2047d4  |l 990006244850106761  |s US-MCM  |m using_mappings_to_prove_timing_properties__________________________________1992_______labora________________________________________lynch__nancy_a_____________________p 
999 1 1 |l 990006244850106761  |s ISIL:US-MCM  |t BKS  |a ARC NOLN3  |b 39080007622506  |c QA76.M41.P965 no.412e  |d 0  |x BOOK  |y 23507304880006761  |p UNLOANABLE 
999 1 1 |l 990006244850106761  |s ISIL:US-MCM  |t BKS  |a LSA OCC  |b 39080007622316  |c QA76.M41.P965 no.412e  |d 0  |x BOOK  |y 23507304900006761  |p UNLOANABLE 

Similar Items