40 lines
932 B
TeX
40 lines
932 B
TeX
|
|
\documentclass[a4paper,10pt]{article}
|
|
\usepackage{graphicx}
|
|
\usepackage{fancyhdr}
|
|
\usepackage{tikz}
|
|
|
|
\usepackage{amsfonts,amsmath}
|
|
\usetikzlibrary{shapes,arrows}
|
|
|
|
\usepackage{verbatim}
|
|
|
|
\usepackage{ifthen}
|
|
\newboolean{paper}
|
|
\setboolean{paper}{true} % boolvar=true or false
|
|
|
|
\input{../style}
|
|
|
|
\begin{document}
|
|
\pagestyle{fancy}
|
|
|
|
%\outerhead{{\small\bf Propositional Logic Diagram}}
|
|
%\innerfoot{{\small\bf R.P. Clark } }
|
|
% numbers at outer edges
|
|
\pagenumbering{arabic} % Arabic page numbers hereafter
|
|
\author{R.P.Clark}
|
|
\title{Failure Mode Modular de-Composition of Software}
|
|
\maketitle
|
|
%
|
|
% to make the stand alone paper the processed version is required.
|
|
\input{sw_model_p}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{../vmgbibliography,../mybib}
|
|
|
|
%\begin{verbatim}
|
|
%$Id: paper.tex,v 1.1 2009/06/05 18:35:31 robin Exp $
|
|
%\end{verbatim}
|
|
|
|
\end{document}
|