E-mail senden E-Mail Adresse kopieren

ASDPS

Getaggte Veröffentlichungen

Jahr 2018

Konferenz / Medium

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

Konferenz / Medium

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

Konferenz / Medium

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

Konferenz / Medium

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

Jahr 2017

Konferenz / Medium

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