%0 Conference Paper %1 conf/tfm/FeralG23 %A Féral, Nicolas %A Giorgetti, Alain %B FMTea %D 2023 %E Dubois, Catherine %E Pietro, Pierluigi San %I Springer %K dblp %P 34-50 %T A Gentle Introduction to Verification of Parameterized Reactive Systems. %U http://dblp.uni-trier.de/db/conf/tfm/fmtea2023.html#FeralG23 %V 13962 %@ 978-3-031-27534-0

@inproceedings{conf/tfm/FeralG23, added-at = {2024-01-13T00:00:00.000+0100}, author = {Féral, Nicolas and Giorgetti, Alain}, biburl = {https://www.bibsonomy.org/bibtex/2be0ac0cfb867c2a32202cc11fb90db8d/dblp}, booktitle = {FMTea}, crossref = {conf/tfm/2023}, editor = {Dubois, Catherine and Pietro, Pierluigi San}, ee = {https://doi.org/10.1007/978-3-031-27534-0_3}, interhash = {af0cb4482bb65288a77afc08231f937d}, intrahash = {be0ac0cfb867c2a32202cc11fb90db8d}, isbn = {978-3-031-27534-0}, keywords = {dblp}, pages = {34-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {A Gentle Introduction to Verification of Parameterized Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/tfm/fmtea2023.html#FeralG23}, volume = 13962, year = 2023 }