%0 Conference Paper %1 conf/dsd/PrzigodaWD15 %A Przigoda, Nils %A Wille, Robert %A Drechsler, Rolf %B DSD %D 2015 %I IEEE Computer Society %K %P 359-366 %T Leveraging the Analysis for Invariant Independence in Formal System Models. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2015.html#PrzigodaWD15 %@ 978-1-4673-8035-5

@inproceedings{conf/dsd/PrzigodaWD15, added-at = {2023-12-13T02:46:15.000+0100}, author = {Przigoda, Nils and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/27ea303b538b55baf1ef2632c663f0da1/admin}, booktitle = {DSD}, crossref = {conf/dsd/2015}, ee = {https://www.wikidata.org/entity/Q59242218}, interhash = {83565411350c70c81e15e05f48a58215}, intrahash = {7ea303b538b55baf1ef2632c663f0da1}, isbn = {978-1-4673-8035-5}, keywords = {}, pages = {359-366}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:46:15.000+0100}, title = {Leveraging the Analysis for Invariant Independence in Formal System Models.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2015.html#PrzigodaWD15}, year = 2015 }