Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

Book title Buchtitel

Volume Band

361

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Schupp, Stefan ; Leofante, Francesco ; Behr, Leander ; Abraham, Erika ; Taccella, Armando	Robot Swarms as Hybrid Systems: Modelling and Verification	Inproceedings Konferenzbeitrag	2022