bibtex

@inproceedings{NR20,
    title = {Proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020), Vienna, Austria, August 2020, editors Thao Dang and Stefan Ratschan },
    year = {2020},
    series = {EPTCS},
    team = {axe_Mohytos, TEMPO},
}


Contact | Site Map | Site powered by SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1731708