% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-18-188-171-44.us-east-2.compute.amazonaws.com % at : Thu, 03 Apr 2025 02:24:44 -0400 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} }