@inproceedings{alamdari2020formal,
  title={Formal methods with a touch of magic},
  author={Alamdari, Parand Alizadeh and Avni, Guy and Henzinger, Thomas A and Lukina, Anna},
  booktitle={Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD)},
  volume={1},
  pages={138--147},
  year={2020},
  organization={TU Wien Academic Press},
  url_doi={https://repositum.tuwien.at/handle/20.500.12708/15517},
  url_Video={https://youtu.be/2KCyjJpzJDs}
}

{"_id":"xjnW5Lp8e89EhhgA9","bibbaseid":"alamdari-avni-henzinger-lukina-formalmethodswithatouchofmagic-2020","author_short":["Alamdari, P. A.","Avni, G.","Henzinger, T. A","Lukina, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal methods with a touch of magic","author":[{"propositions":[],"lastnames":["Alamdari"],"firstnames":["Parand","Alizadeh"],"suffixes":[]},{"propositions":[],"lastnames":["Avni"],"firstnames":["Guy"],"suffixes":[]},{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]}],"booktitle":"Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD)","volume":"1","pages":"138–147","year":"2020","organization":"TU Wien Academic Press","url_doi":"https://repositum.tuwien.at/handle/20.500.12708/15517","url_video":"https://youtu.be/2KCyjJpzJDs","bibtex":"@inproceedings{alamdari2020formal,\n title={Formal methods with a touch of magic},\n author={Alamdari, Parand Alizadeh and Avni, Guy and Henzinger, Thomas A and Lukina, Anna},\n booktitle={Proceedings of the 20th Conference on Formal Methods in Computer Aided Design (FMCAD)},\n volume={1},\n pages={138--147},\n year={2020},\n organization={TU Wien Academic Press},\n url_doi={https://repositum.tuwien.at/handle/20.500.12708/15517},\n url_Video={https://youtu.be/2KCyjJpzJDs}\n}\n\n","author_short":["Alamdari, P. A.","Avni, G.","Henzinger, T. A","Lukina, A."],"key":"alamdari2020formal","id":"alamdari2020formal","bibbaseid":"alamdari-avni-henzinger-lukina-formalmethodswithatouchofmagic-2020","role":"author","urls":{" doi":"https://repositum.tuwien.at/handle/20.500.12708/15517"," video":"https://youtu.be/2KCyjJpzJDs"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["hXrZJL4srDQvAjKT8","GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["formal","methods","touch","magic","alamdari","avni","henzinger","lukina"],"title":"Formal methods with a touch of magic","year":2020,"downloads":2}