%0 Conference Paper %1 conf/acsd/AlexanderR03 %A Alexander, Adrianna %A Reisig, Wolfgang %B ACSD %D 2003 %I IEEE Computer Society %K %P 167-176 %T Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#AlexanderR03 %@ 0-7695-1887-7

@inproceedings{conf/acsd/AlexanderR03, added-at = {2023-12-12T21:49:46.000+0100}, author = {Alexander, Adrianna and Reisig, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/28c076352a53b9b5dd8f6869e1f519703/admin}, booktitle = {ACSD}, crossref = {conf/acsd/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207711}, interhash = {438fc31844ff62b46e6810bad30c6a0d}, intrahash = {8c076352a53b9b5dd8f6869e1f519703}, isbn = {0-7695-1887-7}, keywords = {}, pages = {167-176}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:49:46.000+0100}, title = {Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#AlexanderR03}, year = 2003 }