Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/allerton/RamosPARK13
%A Ramos, Guilherme
%A Pequito, Sérgio Daniel
%A Aguiar, A. Pedro
%A Ramos, Jaime
%A Kar, Soummya
%B Allerton
%D 2013
%I IEEE
%K dblp
%P 973-980
%T A model checking framework for linear time invariant switching systems using structural systems analysis.
%U http://dblp.uni-trier.de/db/conf/allerton/allerton2013.html#RamosPARK13
@inproceedings{conf/allerton/RamosPARK13,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Ramos, Guilherme and Pequito, Sérgio Daniel and Aguiar, A. Pedro and Ramos, Jaime and Kar, Soummya},
biburl = {https://www.bibsonomy.org/bibtex/2fa1eeaa456b69eaa782f9654a70280fc/dblp},
booktitle = {Allerton},
crossref = {conf/allerton/2013},
ee = {https://doi.org/10.1109/Allerton.2013.6736631},
interhash = {4cb745d1a0a07814b16190d9f7e21dc6},
intrahash = {fa1eeaa456b69eaa782f9654a70280fc},
keywords = {dblp},
pages = {973-980},
publisher = {IEEE},
timestamp = {2024-04-10T15:40:32.000+0200},
title = {A model checking framework for linear time invariant switching systems using structural systems analysis.},
url = {http://dblp.uni-trier.de/db/conf/allerton/allerton2013.html#RamosPARK13},
year = 2013
}
