Tools and Algorithms for the Construction and Analysis of Systems, 19th International Conference

Unknown

Tools and Algorithms for the Construction and Analysis of Systems, 19th International Conference (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@Book{PS13,
  editor = 	 {N. Piterman and S.A. Smolka},
  title = 	 {Tools and Algorithms for the Construction and Analysis of Systems, 19th International Conference},
  publisher = 	 springer,
  year = 	 2013,
  volume = 	 {7795},
  series = 	 lncs,
  url = {http://www.springerlink.com/content/978-3-642-36741-0/},
}