%0 Conference Paper %1 journals/corr/abs-1301-0038 %A Bae, Kyungmin %A Krisiloff, Joshua %A Meseguer, José %A Ölveczky, Peter Csaba %B FTSCS %D 2012 %E Ölveczky, Peter Csaba %E Artho, Cyrille %K dblp %P 5-21 %T PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude %U http://dblp.uni-trier.de/db/series/eptcs/eptcs105.html#abs-1301-0038 %V 105

@inproceedings{journals/corr/abs-1301-0038, added-at = {2023-09-20T00:00:00.000+0200}, author = {Bae, Kyungmin and Krisiloff, Joshua and Meseguer, José and Ölveczky, Peter Csaba}, biburl = {https://www.bibsonomy.org/bibtex/274b7bcfe2ed2b4fe11c0b18d7d5f3aa9/dblp}, booktitle = {FTSCS}, crossref = {journals/corr/abs-1212-6574}, editor = {Ölveczky, Peter Csaba and Artho, Cyrille}, ee = {http://arxiv.org/abs/1301.0038}, interhash = {3c94f379601c2db3643ab296b07ddda3}, intrahash = {74b7bcfe2ed2b4fe11c0b18d7d5f3aa9}, keywords = {dblp}, pages = {5-21}, series = {EPTCS}, timestamp = {2024-04-10T05:45:25.000+0200}, title = {PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs105.html#abs-1301-0038}, volume = 105, year = 2012 }