| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/12/2633-4 +
, https://dblp.org/pid/s/JunSun1 +
, https://dblp.org/pid/68/1277-1 +
, https://dblp.org/pid/51/3710-3 +
, https://dblp.org/pid/21/7083 +
, https://dblp.org/pid/33/6517 +
, https://dblp.org/pid/95/6761 +
, https://dblp.org/pid/08/2489-1 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1109/TSE.2014.2359893 +
, http://doi.ieeecomputersociety.org/10.1109/TSE.2014.2359893 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1109/TSE.2014.2359893 +
, http://dx.doi.org/10.1109/TSE.2014.2359893 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/tse/tse41 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
8
|
| https://dblp.org/rdf/schema#pagination
|
3-18
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1109/TSE.2014.2359893 +
|
| https://dblp.org/rdf/schema#publishedIn
|
IEEE Trans. Software Eng.
|
| https://dblp.org/rdf/schema#publishedInJournal
|
IEEE Trans. Software Eng.
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
41
|
| https://dblp.org/rdf/schema#publishedInJournalVolumeIssue
|
1
|
| https://dblp.org/rdf/schema#title
|
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2015
|
| owl:sameAs |
https://doi.org/10.1109/TSE.2014.2359893 +
, http://dx.doi.org/10.1109/TSE.2014.2359893 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Article +
|
| rdfs:label |
Ting Wang et al.: A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. (2015)
|
