
Code: Select all
@MISC{exoplanetwebsite,
AUTHOR={Jean Schneider},
TITLE={The Extrasolar Planets Encyclopaedia},
HOWPUBLISHED={\url{http://exoplanet.eu/catalog.php}}
}
Thanks,
Dan
Code: Select all
@MISC{exoplanetwebsite,
AUTHOR={Jean Schneider},
TITLE={The Extrasolar Planets Encyclopaedia},
HOWPUBLISHED={\url{http://exoplanet.eu/catalog.php}}
}
NEW: TikZ book now 40% off at Amazon.com for a short time.
Code: Select all
\documentclass{article}
\usepackage{url}
%% Define a new 'leo' style for the package that will use a smaller font.
\makeatletter
\def\url@leostyle{%
\@ifundefined{selectfont}{\def\UrlFont{\sf}}{\def\UrlFont{\small\ttfamily}}}
\makeatother
%% Now actually use the newly defined style.
\urlstyle{leo}
\title { Symbolic state space generation for \\
finite models with unknown bounds
}
\author{ Gianfranco Ciardo ~~~~ Robert Marmorstein ~~~~ Radu Siminiceanu\\[2ex]
College of William and Mary,
Williamsburg, Virginia 23187 \\
{\rm \{ciardo,rmmarm,radu\}@cs.wm.edu} }
\date{}
\begin{document}
\maketitle
\begin{abstract}
In previous work..
\end{abstract}
\section{Introduction}\label{SEC:introduction}
Since the introduction of implicit methods....
\bibliographystyle{abbrv}
\bibliography{BibtexExample}
\end{document}
NEW: TikZ book now 40% off at Amazon.com for a short time.