% This file was created with JabRef 2.7b.
% Encoding: UTF-8

@INCOLLECTION{Aalst2005a,
  author = {van der Aalst, W. and de Beer, H. and van Dongen, B.},
  title = {Process Mining and Verification of Properties: An Approach Based
	on Temporal Logic},
  booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
	ODBASE},
  publisher = {Springer Berlin / Heidelberg},
  year = {2005},
  editor = {Meersman, Robert and Tari, Zahir},
  volume = {3760},
  series = {Lecture Notes in Computer Science},
  pages = {130-147},
  note = {10.1007/11575771_11},
  affiliation = {Department of Technology Management, Eindhoven University of Technology,
	P.O.Box 513, NL-5600 MB Eindhoven, The Netherlands},
  isbn = {978-3-540-29736-9},
  keyword = {Computer Science},
  owner = {ht},
  timestamp = {2011.12.23},
  url = {http://dx.doi.org/10.1007/11575771_11}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}