Eliminating Message Counters in Threshold Automata (bibtex)
by Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Reference:
Eliminating Message Counters in Threshold AutomataIlina Stoilkovska, Igor Konnov, Josef Widder, Florian ZulegerAutomated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Dang Van Hung, Oleg Sokolsky, eds.), volume 12302 of Lecture Notes in Computer Science, pages 196–212, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/atva/Stoilkovska0WZ20,
	author    = {Ilina Stoilkovska and
	Igor Konnov and
	Josef Widder and
	Florian Zuleger},
	editor    = {Dang Van Hung and
	Oleg Sokolsky},
	title     = {Eliminating Message Counters in Threshold Automata},
	booktitle = {Automated Technology for Verification and Analysis - 18th International
	Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
	series    = {Lecture Notes in Computer Science},
	volume    = {12302},
	pages     = {196--212},
	publisher = {Springer},
	year      = {2020},
	url       = {https://doi.org/10.1007/978-3-030-59152-6\_11},
	doi       = {10.1007/978-3-030-59152-6\_11},
	timestamp = {Tue, 13 Oct 2020 16:57:38 +0200},
	biburl    = {https://dblp.org/rec/conf/atva/Stoilkovska0WZ20.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser