% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-3-147-52-53.us-east-2.compute.amazonaws.com % at : Sat, 20 Jul 2024 15:23:06 -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} } |