%0 Conference Paper %1 conf/vmcai/BouajjaniEMRS20 %A Bouajjani, Ahmed %A Enea, Constantin %A Mukund, Madhavan %A Shenoy, Ranjal Gautham %A Suresh, S. P. %B VMCAI %D 2020 %E Beyer, Dirk %E Zufferey, Damien %I Springer %K dblp %P 379-400 %T Formalizing and Checking Multilevel Consistency. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#BouajjaniEMRS20 %V 11990 %@ 978-3-030-39322-9

@inproceedings{conf/vmcai/BouajjaniEMRS20, added-at = {2023-03-01T00:00:00.000+0100}, author = {Bouajjani, Ahmed and Enea, Constantin and Mukund, Madhavan and Shenoy, Ranjal Gautham and Suresh, S. P.}, biburl = {https://www.bibsonomy.org/bibtex/27736b07060307533103069679f7cfbba/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2020}, editor = {Beyer, Dirk and Zufferey, Damien}, ee = {https://doi.org/10.1007/978-3-030-39322-9_18}, interhash = {9cf0aac3fef11e04fe60845de89af6e5}, intrahash = {7736b07060307533103069679f7cfbba}, isbn = {978-3-030-39322-9}, keywords = {dblp}, pages = {379-400}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:52:33.000+0200}, title = {Formalizing and Checking Multilevel Consistency.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2020.html#BouajjaniEMRS20}, volume = 11990, year = 2020 }