chfritz / meteor-bibtex Goto Github PK

@incollection{Lausdahl&13,
  KEY       = "Lausdahl13",
  year      ={2013},
  isbn      ={978-3-642-38612-1},
  booktitle ={Integrated Formal Methods},
  volume    ={7940},
  series    ={Lecture Notes in Computer Science},
  editor    ={Johnsen, Einar Broch and Petre, Luigia},
  doi       ={10.1007/978-3-642-38613-8\_4},
  title     ="{Translating VDM to Alloy}",
  url       ={http://dx.doi.org/10.1007/978-3-642-38613-8\_4},
  publisher ={Springer Berlin Heidelberg},
  author    ={Lausdahl, Kenneth},
  pages     ={46-60},
  note      ={10th International Conference, IFM 2013},
}