%0 Conference Paper %1 conf/models/GoldsbyCZ07 %A Goldsby, Heather %A Cheng, Betty H. C. %A Zhang, Ji %B MoDELS (Workshops) %D 2007 %E Giese, Holger %I Springer %K dblp %P 212-224 %T AMOEBA-RT: Run-Time Verification of Adaptive Software. %U http://dblp.uni-trier.de/db/conf/models/models2007w.html#GoldsbyCZ07 %V 5002 %@ 978-3-540-69069-6

@inproceedings{conf/models/GoldsbyCZ07, added-at = {2022-02-23T00:00:00.000+0100}, author = {Goldsby, Heather and Cheng, Betty H. C. and Zhang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/25ba1bcc85a93048c73e4c787002bc6a1/dblp}, booktitle = {MoDELS (Workshops)}, crossref = {conf/models/2007w}, editor = {Giese, Holger}, ee = {https://doi.org/10.1007/978-3-540-69073-3_23}, interhash = {66f10265217bead49a7449ba9a10527e}, intrahash = {5ba1bcc85a93048c73e4c787002bc6a1}, isbn = {978-3-540-69069-6}, keywords = {dblp}, pages = {212-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:00:15.000+0200}, title = {AMOEBA-RT: Run-Time Verification of Adaptive Software.}, url = {http://dblp.uni-trier.de/db/conf/models/models2007w.html#GoldsbyCZ07}, volume = 5002, year = 2007 }