%0 Conference Paper %1 conf/forte/BryansS01 %A Bryans, Jeremy W. %A Shankland, Carron %B FORTE %D 2001 %E Kim, Myungchul %E Chin, Byoungmoon %E Kang, Sungwon %E Lee, Danhyung %I Kluwer %K dblp %P 201-218 %T Implementing a Modal Logic over Data and Processes using XTL. %U http://dblp.uni-trier.de/db/conf/forte/forte2001.html#BryansS01 %V 197 %@ 0-7923-7470-3

@inproceedings{conf/forte/BryansS01, added-at = {2019-03-14T00:00:00.000+0100}, author = {Bryans, Jeremy W. and Shankland, Carron}, biburl = {https://www.bibsonomy.org/bibtex/2225053d4d9d358ab6b552ffdde46d8a0/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2001}, editor = {Kim, Myungchul and Chin, Byoungmoon and Kang, Sungwon and Lee, Danhyung}, interhash = {b0d62927643df4f9354f1d8a2d3b9e6f}, intrahash = {225053d4d9d358ab6b552ffdde46d8a0}, isbn = {0-7923-7470-3}, keywords = {dblp}, pages = {201-218}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2020-10-06T11:35:16.000+0200}, title = {Implementing a Modal Logic over Data and Processes using XTL.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2001.html#BryansS01}, volume = 197, year = 2001 }