%0 Conference Paper %1 conf/mkm/BidetGP18 %A Bidet, François %A Goubault, Éric %A Putot, Sylvie %B CICM Workshops %D 2018 %E Hasan, Osman %E Youssef, Abdou %E Naumowicz, Adam %E Farmer, William M. %E Kaliszyk, Cezary %E Gallois-Wong, Diane %E Rabe, Florian %E Reis, Gabriel Dos %E Passmore, Grant O. %E Davenport, James H. %E Pfeiffer, Markus %E Kohlhase, Michael %E Autexier, Serge %E Tahar, Sofiène %E Koprucki, Thomas %E Siddique, Umair %E Neuper, Walther %E Windsteiger, Wolfgang %E Schreiner, Wolfgang %E Sperber, Wolfram %E Kovács, Zoltán %I CEUR-WS.org %K dblp %T Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). %U http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html#BidetGP18 %V 2307

@inproceedings{conf/mkm/BidetGP18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Bidet, François and Goubault, Éric and Putot, Sylvie}, biburl = {https://www.bibsonomy.org/bibtex/209a9bb9d45c3a20672e4efc0759ea0c3/dblp}, booktitle = {CICM Workshops}, crossref = {conf/mkm/2018w}, editor = {Hasan, Osman and Youssef, Abdou and Naumowicz, Adam and Farmer, William M. and Kaliszyk, Cezary and Gallois-Wong, Diane and Rabe, Florian and Reis, Gabriel Dos and Passmore, Grant O. and Davenport, James H. and Pfeiffer, Markus and Kohlhase, Michael and Autexier, Serge and Tahar, Sofiène and Koprucki, Thomas and Siddique, Umair and Neuper, Walther and Windsteiger, Wolfgang and Schreiner, Wolfgang and Sperber, Wolfram and Kovács, Zoltán}, ee = {https://ceur-ws.org/Vol-2307/paper31.pdf}, interhash = {f7275f0918ebf794395d7a78bdd2ef95}, intrahash = {09a9bb9d45c3a20672e4efc0759ea0c3}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T02:44:30.000+0200}, title = {Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2018w.html#BidetGP18}, volume = 2307, year = 2018 }