Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/spaccs/SunZM17
@inproceedings{DBLP:conf/spaccs/SunZM17, author = {Tao Sun and Linjing Zhang and Huiping Ma}, editor = {Guojun Wang and Mohammed Atiquzzaman and Zheng Yan and Kim{-}Kwang Raymond Choo}, title = {An Automatic Generation Method for Condition Expressions of {CPN} Model Focus on Tested Behaviors}, booktitle = {Security, Privacy, and Anonymity in Computation, Communication, and Storage - SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10658}, pages = {271--285}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-72395-2\_26}, doi = {10.1007/978-3-319-72395-2\_26}, timestamp = {Thu, 02 Sep 2021 10:55:58 +0200}, biburl = {https://dblp.org/rec/conf/spaccs/SunZM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.