%0 Conference Paper %1 conf/birthday/Hansen17 %A Hansen, Henri %B Concurrency, Security, and Puzzles %D 2017 %E Gibson-Robinson, Thomas %E Hopcroft, Philippa J. %E Lazic, Ranko %I Springer %K dblp %P 104-123 %T Abstractions for Transition Systems with Applications to Stubborn Sets. %U http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Hansen17 %V 10160 %@ 978-3-319-51045-3

@inproceedings{conf/birthday/Hansen17, added-at = {2019-09-16T00:00:00.000+0200}, author = {Hansen, Henri}, biburl = {https://www.bibsonomy.org/bibtex/21bd859e713dc9f00f22d9631265d415b/dblp}, booktitle = {Concurrency, Security, and Puzzles}, crossref = {conf/birthday/2017roscoe}, editor = {Gibson-Robinson, Thomas and Hopcroft, Philippa J. and Lazic, Ranko}, ee = {https://doi.org/10.1007/978-3-319-51046-0_6}, interhash = {cdc8be3f5e260c4f8f6f57ca99fcf654}, intrahash = {1bd859e713dc9f00f22d9631265d415b}, isbn = {978-3-319-51045-3}, keywords = {dblp}, pages = {104-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:23.000+0200}, title = {Abstractions for Transition Systems with Applications to Stubborn Sets.}, url = {http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Hansen17}, volume = 10160, year = 2017 }