Chapter
Reachability Problems, 2015, Volume 9328
ISBN : 978-3-319-24536-2
Chapter
Series: Communications in Computer and Information Science, Year: 2017, Volume 694, Page 129
DOI: 10.1007/978-3-319-53946-1_8
Read OnlineChapter
Series: Communications in Computer and Information Science, Year: 2016, Volume 596, Page 52
DOI: 10.1007/978-3-319-29510-7_3
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2022, Volume 13465, Page 200
DOI: 10.1007/978-3-031-15839-1_12
Read OnlineConference Paper
Conference: 2016 16th International Conference on Application of Concurrency to System Design (ACSD), Year: 2016, Page 45
DOI: 10.1109/ACSD.2016.20
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2016, Volume 10009, Page 400
DOI: 10.1007/978-3-319-47846-3_25
Read OnlineArticle
Journal: IEEE Transactions on Automatic Control, 2022, Volume 67, Number 1, Page 75
Read OnlineArticle
Journal: Software and Systems Modeling, 2020, Volume 19, Number 4, Page 983
DOI: 10.1007/s10270-020-00787-5
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2021, Volume 12669, Page 3
DOI: 10.1007/978-3-030-73785-6_1
Read Online