%0 Conference Paper %1 conf/forte/KelsoM05 %A Kelso, Joel %A Milne, George J. %B FORTE %D 2005 %E Wang, Farn %I Springer %K dblp %P 503-517 %T Properties as Processes: Their Specification and Verification. %U http://dblp.uni-trier.de/db/conf/forte/forte2005.html#KelsoM05 %V 3731 %@ 3-540-29189-X

@inproceedings{conf/forte/KelsoM05, added-at = {2020-11-11T00:00:00.000+0100}, author = {Kelso, Joel and Milne, George J.}, biburl = {https://www.bibsonomy.org/bibtex/240d14f6535d6b68a097bbf63b87aeac2/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2005}, editor = {Wang, Farn}, ee = {https://www.wikidata.org/entity/Q58652430}, interhash = {b9908be0ad467b52aea1ff4f01b257ce}, intrahash = {40d14f6535d6b68a097bbf63b87aeac2}, isbn = {3-540-29189-X}, keywords = {dblp}, pages = {503-517}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-12T11:37:35.000+0100}, title = {Properties as Processes: Their Specification and Verification.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2005.html#KelsoM05}, volume = 3731, year = 2005 }