Decision Procedures for Region Logic

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Rosenberg, Stan Banerjee, Anindya Naumann, David A.
Editor:	Viktor Kuncak and Andrey Rybalchenko	Volume:	7148
Book title:	Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Series:	Lecture Notes in Computer Science	Pages:	379-395


ISBN:	978-3-642-27939-3

@conference{DBLP:conf/vmcai/RosenbergBN12, author = "Stan Rosenberg and Anindya Banerjee and David A. Naumann", booktitle = "Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings", doi = "10.1007/978-3-642-27940-9_25", editor = "Viktor Kuncak and Andrey Rybalchenko", isbn = "978-3-642-27939-3", note = "PARTNERS: IMDEA PROJECTS: NESSOS, PROMETIDOS, DESAFIOS TIER: B CITE(03/03/2014):5", pages = "379-395", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "{D}ecision {P}rocedures for {R}egion {L}ogic", volume = "7148", year = "2012", }
Note:	PARTNERS: IMDEA PROJECTS: NESSOS, PROMETIDOS, DESAFIOS TIER: B CITE(03/03/2014):5
[Bibtex]