%0 Conference Paper %1 conf/mfcs/Paech91 %A Paech, Barbara %B MFCS %D 1991 %E Tarlecki, Andrzej %I Springer %K dblp %P 377-386 %T Extending Temporal Logic by Explicit Concurrency. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#Paech91 %V 520 %@ 3-540-54345-7

@inproceedings{conf/mfcs/Paech91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Paech, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/2d8e33045ff8016e9fa07fb33d8c0b7c4/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1991}, editor = {Tarlecki, Andrzej}, ee = {http://dx.doi.org/10.1007/3-540-54345-7_81}, interhash = {c8c0e9ca85a04e83eef63c22a365724c}, intrahash = {d8e33045ff8016e9fa07fb33d8c0b7c4}, isbn = {3-540-54345-7}, keywords = {dblp}, pages = {377-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-21T11:39:35.000+0100}, title = {Extending Temporal Logic by Explicit Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#Paech91}, volume = 520, year = 1991 }