%0 Conference Paper %1 conf/nfm/LiuBAHCM22 %A Liu, Cong %A Babar, Junaid %A Amundson, Isaac %A Hoech, Karl %A Cofer, Darren D. %A Mercer, Eric %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 355-372 %T Assume-Guarantee Reasoning with Scheduled Components. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#LiuBAHCM22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/LiuBAHCM22, added-at = {2022-06-02T00:00:00.000+0200}, author = {Liu, Cong and Babar, Junaid and Amundson, Isaac and Hoech, Karl and Cofer, Darren D. and Mercer, Eric}, biburl = {https://www.bibsonomy.org/bibtex/228c735b9e739d0677a8f7edb650cdadc/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_19}, interhash = {c10d3540798bad7b79b65fb88d1c8fc9}, intrahash = {28c735b9e739d0677a8f7edb650cdadc}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {355-372}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Assume-Guarantee Reasoning with Scheduled Components.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#LiuBAHCM22}, volume = 13260, year = 2022 }