Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/tse/0044000D18
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/tse/0044000D18
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/53/2189-44 + , https://dblp.org/pid/s/JunSun1 + , https://dblp.org/pid/51/3710-3 + , https://dblp.org/pid/81/1237-2 + , https://dblp.org/pid/33/6517 +
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.2017.2712621 + , http://doi.ieeecomputersociety.org/10.1109/TSE.2017.2712621 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1109/TSE.2017.2712621 + , http://dx.doi.org/10.1109/TSE.2017.2712621 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/tse/tse44 +
https://dblp.org/rdf/schema#numberOfCreators 5
https://dblp.org/rdf/schema#pagination 725-746
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1109/TSE.2017.2712621 +
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 44
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 8
https://dblp.org/rdf/schema#title A Formal Specification and Verification Framework for Timed Security Protocols.
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q113435536 +
https://dblp.org/rdf/schema#yearOfPublication 2018
owl:sameAs https://doi.org/10.1109/TSE.2017.2712621 + , http://dx.doi.org/10.1109/TSE.2017.2712621 + , http://www.wikidata.org/entity/Q113435536 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Li Li et al.: A Formal Specification and Verification Framework for Timed Security Protocols. (2018)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fjournals-2Ftse-2F0044000D18"