% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-144-21-206.us-east-2.compute.amazonaws.com % at : Sun, 24 Nov 2024 19:57:13 -0500 GMT % % Selection : Publication #584 %
@Misc{2018:Ruchkin:IPL, AUTHOR = {Ruchkin, Ivan and Sunshine, Joshua and Iraci, Grant and Schmerl, Bradley and Garlan, David}, TITLE = {Appendix for IPL: An Integration Property Language for Multi-Model Cyber-Physical Systems}, YEAR = {2018}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/fm2018-appendix.pdf}, NOTE = {Paper Reference} }