%0 Journal Article %1 journals/ipl/BaierM96 %A Baier, Christel %A Majster-Cederbaum, Mila E. %D 1996 %J Inf. Process. Lett. %K dblp %N 3 %P 135-143 %T Denotational Linear Time Semantics and Sequential Composition. %U http://dblp.uni-trier.de/db/journals/ipl/ipl59.html#BaierM96 %V 59

@article{journals/ipl/BaierM96, added-at = {2003-11-20T00:00:00.000+0100}, author = {Baier, Christel and Majster-Cederbaum, Mila E.}, biburl = {https://www.bibsonomy.org/bibtex/2c115183c6336a2e7e23a0d36fb123a22/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(96)00101-9}, interhash = {f0b663a4d84d2cdb79cddf9b54375f54}, intrahash = {c115183c6336a2e7e23a0d36fb123a22}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 3, pages = {135-143}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {Denotational Linear Time Semantics and Sequential Composition.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl59.html#BaierM96}, volume = 59, year = 1996 }