Label Value
DOI 10.1007/b137241
ONLINE ISBN 978-3-540-32037-1
PRINT ISBN 978-3-540-26278-7
Series ID 558
Series Title Lecture Notes in Computer Science
ISSN 0302-9743
eISSN 1611-3349
CHAPTER COUNT 29 ( 0 in Web of Science ) ( 0 in Scopus ) ( 0 in Compendex )
TITLE Model-Based Testing of Reactive Systems
TYPE book
Service Status Date Last Checked
Scopus Yes 2018-02-26T10:43:34.891040
Series Indexed in Scopus Yes
Web of Science No 2021-05-04T15:23:20.969303 Indexing in the Web of Science
Compendex No 2019-12-15T09:21:23.118363
Series Indexed in Compendex Yes
DOI Status Date
Chapter - 10.1007/b137241_1 No 2021-05-04T15:23:20.969487
Chapter - 10.1007/b137241_2 No 2021-05-04T15:23:20.969500
Chapter - 10.1007/b137241_3 No 2021-05-04T15:23:20.969510
Chapter - 10.1007/b137241_4 No 2021-05-04T15:23:20.969521
Chapter - 10.1007/b137241_5 No 2021-05-04T15:23:20.969532
Chapter - 10.1007/b137241_6 No 2021-05-04T15:23:20.969543
Chapter - 10.1007/b137241_7 No 2021-05-04T15:23:20.969554
Chapter - 10.1007/b137241_8 No 2021-05-04T15:23:20.969565
Chapter - 10.1007/b137241_9 No 2021-05-04T15:23:20.969576
Chapter - 10.1007/b137241_10 No 2021-05-04T15:23:20.969587
Chapter - 10.1007/b137241_11 No 2021-05-04T15:23:20.969599
Chapter - 10.1007/b137241_12 No 2021-05-04T15:23:20.969610
Chapter - 10.1007/b137241_13 No 2021-05-04T15:23:20.969620
Chapter - 10.1007/b137241_14 No 2021-05-04T15:23:20.969631
Chapter - 10.1007/b137241_15 No 2021-05-04T15:23:20.969642
Chapter - 10.1007/b137241_16 No 2021-05-04T15:23:20.969653
Chapter - 10.1007/b137241_17 No 2021-05-04T15:23:20.969665
Chapter - 10.1007/b137241_18 No 2021-05-04T15:23:20.969676
Chapter - 10.1007/b137241_19 No 2021-05-04T15:23:20.969686
Chapter - 10.1007/b137241_20 No 2021-05-04T15:23:20.969698
Chapter - 10.1007/b137241_21 No 2021-05-04T15:23:20.969709
Chapter - 10.1007/b137241_22 No 2021-05-04T15:23:20.969720
Chapter - 10.1007/b137241_23 No 2021-05-04T15:23:20.969731
Chapter - 10.1007/b137241_24 No 2021-05-04T15:23:20.969742
Chapter - 10.1007/b137241_25 No 2021-05-04T15:23:20.969753
Chapter - 10.1007/b137241_26 No 2021-05-04T15:23:20.969764
Chapter - 10.1007/b137241_27 No 2021-05-04T15:23:20.969775
Chapter - 10.1007/b137241_28 No 2021-05-04T15:23:20.969786
Chapter - 10.1007/b137241_29 No 2021-05-04T15:23:20.969797