TY  - GEN
AU  - Vojnar, Tomáš,
AU  - Zhang, Lijun,
CN  - QA76.9.S88
DO  - 10.1007/978-3-030-17462-0
DO  - doi
ID  - 868034
KW  - System design
KW  - Computer software
KW  - System analysis
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-17462-0
N1  - Includes author index.
SN  - 9783030174620
SN  - 303017462X
T1  - Tools and algorithms for the construction and analysis of systems :25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.
TI  - Tools and algorithms for the construction and analysis of systems :25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-17462-0
VL  - 11427
ER  -