%0 Conference Paper %1 conf/models/GoldsbyCKK06 %A Goldsby, Heather %A Cheng, Betty H. C. %A Konrad, Sascha %A Kamdoum, Stephane %B MoDELS %D 2006 %E Nierstrasz, Oscar %E Whittle, Jon %E Harel, David %E Reggio, Gianna %I Springer %K dblp %P 707-721 %T A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. %U http://dblp.uni-trier.de/db/conf/models/models2006.html#GoldsbyCKK06 %V 4199 %@ 3-540-45772-0

@inproceedings{conf/models/GoldsbyCKK06, added-at = {2021-10-14T00:00:00.000+0200}, author = {Goldsby, Heather and Cheng, Betty H. C. and Konrad, Sascha and Kamdoum, Stephane}, biburl = {https://www.bibsonomy.org/bibtex/2b736c76a213bd2c654606efa862e2e8a/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2006}, editor = {Nierstrasz, Oscar and Whittle, Jon and Harel, David and Reggio, Gianna}, ee = {https://doi.org/10.1007/11880240_49}, interhash = {0ae6fa15e18951c86208cd6c50a925f5}, intrahash = {b736c76a213bd2c654606efa862e2e8a}, isbn = {3-540-45772-0}, keywords = {dblp}, pages = {707-721}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:00:05.000+0200}, title = {A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.}, url = {http://dblp.uni-trier.de/db/conf/models/models2006.html#GoldsbyCKK06}, volume = 4199, year = 2006 }