%0 Conference Paper %1 conf/nfm/SiegelS15 %A Siegel, Holger %A Simon, Axel %B NFM %D 2015 %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K %P 343-358 %T Shape Analysis with Connectors. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#SiegelS15 %V 9058 %@ 978-3-319-17523-2

@inproceedings{conf/nfm/SiegelS15, added-at = {2023-12-12T23:13:50.000+0100}, author = {Siegel, Holger and Simon, Axel}, biburl = {https://www.bibsonomy.org/bibtex/224d59b23f3c70c25fbcbdf47b63058bb/admin}, booktitle = {NFM}, crossref = {conf/nfm/2015}, editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-319-17524-9_24}, interhash = {537bbf2443ce5b9220a8301377191a3d}, intrahash = {24d59b23f3c70c25fbcbdf47b63058bb}, isbn = {978-3-319-17523-2}, keywords = {}, pages = {343-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:13:50.000+0100}, title = {Shape Analysis with Connectors.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#SiegelS15}, volume = 9058, year = 2015 }