/[dtapublic]/sf_code/esrgpcpj/hyreach/doc/hyreachm/s_bib0/s_bib0.tex
ViewVC logotype

Contents of /sf_code/esrgpcpj/hyreach/doc/hyreachm/s_bib0/s_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, 4 months ago) by dashley
File MIME type: application/x-tex
File size: 3425 byte(s)
Initial commit.
1 %$Header: /cvsroot/esrg/sfesrg/esrgpcpj/hyreach/doc/hyreachm/s_bib0/s_bib0.tex,v 1.8 2002/01/29 18:47:17 dtashley Exp $
2 %
3 \section{Bibliography}
4 \label{sbib0}
5
6 %Note: This environment (thebibliography) has been hacked in ARTICLE.CLS.
7
8 \begin{thebibliography}{99}
9 \bibitem{bib:p:hybridsysintlat:lin90} Feng Lin,
10 David T. Ashley, Michael Heymann, and Michael
11 J. Burke: \emph{A Hybrid System Solution Of The
12 Interrupt Latency Compatibility Problem}, SAE
13 Paper 99PC-314; \\
14 \texttt{http://www.ece.eng.wayne.edu/$\sim$flin/reprints/interrupt.ps}.
15
16 \bibitem{bib:p:theoryofta:alurdill90} Rajeev Alur and
17 David L. Dill: in \emph{A Theory Of Timed Automata};
18 \emph{Theoretical Computer Science} 126:183-235, 1994
19 (preliminary versions appeared in Proc. 17th ICALP, LNCS 443, 1990,
20 and \emph{Real Time: Theory in Practice}, LNCS 600, 1991);\\
21 \texttt{http://www.cis.upenn.edu/$\sim$alur/Icalp90.ps.gz}.
22
23 \bibitem{bib:i:mburke:patriciabouyer}Patricia Bouyer,
24 \texttt{bouyer@lsv.ens-cachan.fr}.
25
26 \bibitem{bib:i:mburke:visteon} Michael J. Burke,
27 \texttt{mburke@visteon.com}.
28
29 \bibitem{bib:b:modelchecking:clark1999} Edmund M. Clarke, Jr.,
30 Orna Grumberg, and Doron A. Peled; \emph{Model Checking};
31 1999, MIT Press, ISBN 0-262-03270-8.
32
33 \bibitem{bib:i:jdevoe:visteon} Joseph P. DeVoe,
34 \texttt{jdevoe@visteon.com}.
35
36 \bibitem{bib:p:memblktrav:flppwy} Fredrik Larsson, Paul
37 Pettersson, and Wang Yi: \emph{On Memory-Block Traversal Problems
38 in Model-Checking Timed Systems};
39 in \emph{Proceedings of the 6th International Conference on Tools and Algorithms
40 for the Construction and Analysis of Systems}, (TACAS'2000); Berlin, Germany,
41 March 27-April 1, 2000; LNCS 1785, pages 127-141, Susanne Graf and Michael Schwartzbach
42 (Eds.);\\
43 \texttt{http://www.docs.uu.se/docs/rtmv/papers/lpw-tacas00.pdf}.
44
45 \bibitem{bib:p:thsu2k:kglppet} Kim G. Larsen and Paul Pettersson;
46 \emph{Timed And Hybrid Systems In UPPAAL2k};
47 presented at MOVEP'2k, June 21, 2000; \\
48 \texttt{http://www.cs.auc.dk/$\sim$paupet/talks/MOVEP2k.pdf}.
49 \end{thebibliography}
50
51 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
52 \noindent\begin{figure}[!b]
53 \noindent\rule[-0.25in]{\textwidth}{1pt}
54 \begin{tiny}
55 \begin{verbatim}
56 $RCSfile: s_bib0.tex,v $
57 $Source: /cvsroot/esrg/sfesrg/esrgpcpj/hyreach/doc/hyreachm/s_bib0/s_bib0.tex,v $
58 $Revision: 1.8 $
59 $Author: dtashley $
60 $Date: 2002/01/29 18:47:17 $
61 \end{verbatim}
62 \end{tiny}
63 \noindent\rule[0.25in]{\textwidth}{1pt}
64 \end{figure}
65 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
66 %$Log: s_bib0.tex,v $
67 %Revision 1.8 2002/01/29 18:47:17 dtashley
68 %Safety checkin before taking work home.
69 %
70 %Revision 1.7 2002/01/29 17:04:00 dtashley
71 %Version control info added, and minor edits.
72 %
73 %Revision 1.6 2001/10/25 05:32:40 dtashley
74 %Evening safety checkin after edits.
75 %
76 %Revision 1.5 2001/10/12 22:32:30 dtashley
77 %Substantial edits.
78 %
79 %Revision 1.4 2001/10/02 03:16:54 dtashley
80 %Final edits evening of 10/01/01.
81 %
82 %Revision 1.3 2001/10/02 02:12:42 dtashley
83 %Addition of batch file, edits.
84 %
85 %Revision 1.2 2001/10/01 06:08:09 dtashley
86 %Basic hacks in place for a workable document.
87 %
88 %Revision 1.1 2001/09/26 02:31:14 dtashley
89 %Initial checkin, and some edits of main TEX file.
90 %
91 %End of S_BIB0.TEX.

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25