%0 Journal Article %1 journals/tse/Ness93 %A Ness, Linda A. %D 1993 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 410-423 %T L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. %U http://dblp.uni-trier.de/db/journals/tse/tse19.html#Ness93 %V 19

@article{journals/tse/Ness93, added-at = {2016-01-12T00:00:00.000+0100}, author = {Ness, Linda A.}, biburl = {https://www.bibsonomy.org/bibtex/25bbb9846fea25b0eea82e64ed669fdde/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.223807}, interhash = {3253566c9701d8b9432ea2c207a61753}, intrahash = {5bbb9846fea25b0eea82e64ed669fdde}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {410-423}, timestamp = {2016-01-13T12:04:15.000+0100}, title = {L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse19.html#Ness93}, volume = 19, year = 1993 }