/[dtapublic]/sf_code/esrgpcpj/doc/engman01/c_bib0/c_bib0.tex
ViewVC logotype

Contents of /sf_code/esrgpcpj/doc/engman01/c_bib0/c_bib0.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 26 - (show annotations) (download) (as text)
Sat Oct 8 06:57:57 2016 UTC (7 years, 8 months ago) by dashley
File MIME type: application/x-tex
File size: 2860 byte(s)
Initial commit.
1 %$Header: /cvsroot/esrg/sfesrg/esrgpcpj/doc/engman01/c_bib0/c_bib0.tex,v 1.1 2002/06/24 20:45:21 dtashley Exp $
2 %
3 %\chapter*{Glossary Of Terms}
4 %\label{cglo0}
5
6 %\chapter*{Bibliography}
7 %\markboth{BIBLIOGRAPHY}{BIBLIOGRAPHY}
8 \label{cbib0}
9
10 %Note: This environment (thebibliography) has been hacked in ARTICLE.CLS.
11
12 \begin{thebibliography}{99}
13 \bibitem{bib:p:hybridsysintlat:lin90} Feng Lin,
14 David T. Ashley, Michael Heymann, and Michael
15 J. Burke: \emph{A Hybrid System Solution Of The
16 Interrupt Latency Compatibility Problem}, SAE
17 Paper 99PC-314; \\
18 \texttt{http://www.ece.eng.wayne.edu/$\sim$flin/reprints/interrupt.ps}.
19
20 \bibitem{bib:p:theoryofta:alurdill90} Rajeev Alur and
21 David L. Dill: in \emph{A Theory Of Timed Automata};
22 \emph{Theoretical Computer Science} 126:183-235, 1994
23 (preliminary versions appeared in Proc. 17th ICALP, LNCS 443, 1990,
24 and \emph{Real Time: Theory in Practice}, LNCS 600, 1991);\\
25 \texttt{http://www.cis.upenn.edu/$\sim$alur/Icalp90.ps.gz}.
26
27 \bibitem{bib:i:mburke:patriciabouyer}Patricia Bouyer,
28 \texttt{bouyer@lsv.ens-cachan.fr}.
29
30 \bibitem{bib:i:mburke:visteon} Michael J. Burke,
31 \texttt{mburke@visteon.com}.
32
33 \bibitem{bib:b:modelchecking:clark1999} Edmund M. Clarke, Jr.,
34 Orna Grumberg, and Doron A. Peled; \emph{Model Checking};
35 1999, MIT Press, ISBN 0-262-03270-8.
36
37 \bibitem{bib:i:jdevoe:visteon} Joseph P. DeVoe,
38 \texttt{jdevoe@visteon.com}.
39
40 \bibitem{bib:p:memblktrav:flppwy} Fredrik Larsson, Paul
41 Pettersson, and Wang Yi: \emph{On Memory-Block Traversal Problems
42 in Model-Checking Timed Systems};
43 in \emph{Proceedings of the 6th International Conference on Tools and Algorithms
44 for the Construction and Analysis of Systems}, (TACAS'2000); Berlin, Germany,
45 March 27-April 1, 2000; LNCS 1785, pages 127-141, Susanne Graf and Michael Schwartzbach
46 (Eds.);\\
47 \texttt{http://www.docs.uu.se/docs/rtmv/papers/lpw-tacas00.pdf}.
48
49 \bibitem{bib:p:thsu2k:kglppet} Kim G. Larsen and Paul Pettersson;
50 \emph{Timed And Hybrid Systems In UPPAAL2k};
51 presented at MOVEP'2k, June 21, 2000; \\
52 \texttt{http://www.cs.auc.dk/$\sim$paupet/talks/MOVEP2k.pdf}.
53 \end{thebibliography}
54
55 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
56 \noindent\begin{figure}[!b]
57 \noindent\rule[-0.25in]{\textwidth}{1pt}
58 \begin{tiny}
59 \begin{verbatim}
60 $RCSfile: c_bib0.tex,v $
61 $Source: /cvsroot/esrg/sfesrg/esrgpcpj/doc/engman01/c_bib0/c_bib0.tex,v $
62 $Revision: 1.1 $
63 $Author: dtashley $
64 $Date: 2002/06/24 20:45:21 $
65 \end{verbatim}
66 \end{tiny}
67 \noindent\rule[0.25in]{\textwidth}{1pt}
68 \end{figure}
69 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
70 %$Log: c_bib0.tex,v $
71 %Revision 1.1 2002/06/24 20:45:21 dtashley
72 %Initial checkin.
73 %
74 %End of C_BIB0.TEX.

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25