Send email Copy Email Address

ASDPS

Tagged Publications

Year 2018

Conference / Medium

OPODIS
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China

Conference / Medium

ATVA
International Symposium on Automated Technology for Verification and Analysis (ATVA)

Conference / Medium

IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018

Conference / Medium

VMCAI
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings

Year 2017

Conference / Medium

Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.