%0 Conference Paper %1 conf/iccs/Kent09 %A Kent, Robert E. %B ICCS %D 2009 %E Rudolph, Sebastian %E Dau, Frithjof %E Kuznetsov, Sergei O. %I Springer %K dblp %P 201-218 %T System Consequence. %U http://dblp.uni-trier.de/db/conf/iccs/iccs2009.html#Kent09 %V 5662 %@ 978-3-642-03078-9

@inproceedings{conf/iccs/Kent09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kent, Robert E.}, biburl = {https://www.bibsonomy.org/bibtex/2f8af60b2158d4ea9e90851728bf035bf/dblp}, booktitle = {ICCS}, crossref = {conf/iccs/2009}, editor = {Rudolph, Sebastian and Dau, Frithjof and Kuznetsov, Sergei O.}, ee = {https://doi.org/10.1007/978-3-642-03079-6_16}, interhash = {c377a208b7cdc0db1c3ab39f80dec9c2}, intrahash = {f8af60b2158d4ea9e90851728bf035bf}, isbn = {978-3-642-03078-9}, keywords = {dblp}, pages = {201-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:57:17.000+0200}, title = {System Consequence.}, url = {http://dblp.uni-trier.de/db/conf/iccs/iccs2009.html#Kent09}, volume = 5662, year = 2009 }