BibTeX record series/faia/RogusS05

download as .bib file

@incollection{DBLP:series/faia/RogusS05,
  author    = {Grzegorz Rogus and
               Tomasz Szmuc},
  title     = {Modeling and Verification of Reactive Software Using {LOTOS}},
  booktitle = {Software Engineering: Evolution and Emerging Technologies},
  pages     = {365--377},
  year      = {2005},
  crossref  = {DBLP:series/faia/2005-130},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1175},
  timestamp = {Tue, 13 Mar 2012 16:08:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/faia/RogusS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:series/faia/2005-130,
  editor    = {Krzysztof Zielinski and
               Tomasz Szmuc},
  title     = {Software Engineering: Evolution and Emerging Technologies},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {130},
  publisher = {{IOS} Press},
  year      = {2005},
  isbn      = {978-1-58603-559-4},
  timestamp = {Thu, 26 Feb 2009 13:29:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/faia/2005-130},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}