%0 Conference Paper %1 conf/vl/BottoniF13 %A Bottoni, Paolo %A Fish, Andrew %B VL/HCC %D 2013 %E Kelleher, Caitlin %E Burnett, Margaret M. %E Sauer, Stefan %I IEEE Computer Society %K dblp %P 27-34 %T Policy enforcement and verification with Timed Modeling Spider Diagrams. %U http://dblp.uni-trier.de/db/conf/vl/vlhcc2013.html#BottoniF13 %@ 978-1-4799-0369-6

@inproceedings{conf/vl/BottoniF13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Bottoni, Paolo and Fish, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/21584303d825b1f912055ebe2c6b12417/dblp}, booktitle = {VL/HCC}, crossref = {conf/vl/2013}, editor = {Kelleher, Caitlin and Burnett, Margaret M. and Sauer, Stefan}, ee = {https://doi.ieeecomputersociety.org/10.1109/VLHCC.2013.6645239}, interhash = {b83a7c237086bcb03fc25ba7bd6afd56}, intrahash = {1584303d825b1f912055ebe2c6b12417}, isbn = {978-1-4799-0369-6}, keywords = {dblp}, pages = {27-34}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:36:43.000+0200}, title = {Policy enforcement and verification with Timed Modeling Spider Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/vl/vlhcc2013.html#BottoniF13}, year = 2013 }