%0 Conference Paper %1 conf/memocode/ForetsF020 %A Forets, Marcelo %A Freire, Daniel %A Schilling, Christian %B MEMOCODE %D 2020 %I IEEE %K dblp %P 1-6 %T Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2020.html#ForetsF020 %@ 978-1-7281-9148-5

@inproceedings{conf/memocode/ForetsF020, added-at = {2021-07-25T00:00:00.000+0200}, author = {Forets, Marcelo and Freire, Daniel and Schilling, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2ebf443400771b56b7144361adfb31c96/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2020}, ee = {https://doi.org/10.1109/MEMOCODE51338.2020.9314994}, interhash = {53c06b067fa2f2eadd9b7eb6351a671f}, intrahash = {ebf443400771b56b7144361adfb31c96}, isbn = {978-1-7281-9148-5}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2020.html#ForetsF020}, year = 2020 }