Liste als BibTeX-Datei exportieren

2019

• Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB

2014

• Juni 2014 Cloudburst - Simulating Workload for IaaS Clouds Johannes Kroß und Andreas Wolke In Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Seiten 841–848, Juni 2014. IEEE. Details URL DOI BIB