%0 Conference Paper %1 conf/lfcs/CourtaultG13 %A Courtault, Jean-René %A Galmiche, Didier %B LFCS %D 2013 %E Artëmov, Sergei N. %E Nerode, Anil %I Springer %K dblp %P 134-148 %T A Modal BI Logic for Dynamic Resource Properties. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2013.html#CourtaultG13 %V 7734 %@ 978-3-642-35722-0

@inproceedings{conf/lfcs/CourtaultG13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Courtault, Jean-René and Galmiche, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2cba0005ee0f0b6e2705b5593a01bcdc0/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/2013}, editor = {Artëmov, Sergei N. and Nerode, Anil}, ee = {https://doi.org/10.1007/978-3-642-35722-0_10}, interhash = {3c2d8baaf60cc4634c38ba2b61f149c4}, intrahash = {cba0005ee0f0b6e2705b5593a01bcdc0}, isbn = {978-3-642-35722-0}, keywords = {dblp}, pages = {134-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:47:50.000+0200}, title = {A Modal BI Logic for Dynamic Resource Properties.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2013.html#CourtaultG13}, volume = 7734, year = 2013 }