%0 Journal Article %1 journals/tc/Bochmann82 %A von Bochmann, Gregor %D 1982 %J IEEE Trans. Computers %K dblp %N 3 %P 223-231 %T Hardware Specification with Temporal Logic: En Example. %U http://dblp.uni-trier.de/db/journals/tc/tc31.html#Bochmann82 %V 31

@article{journals/tc/Bochmann82, added-at = {2015-12-22T00:00:00.000+0100}, author = {von Bochmann, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/22565b33fef7374526acb9bd39e29b9aa/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1982.1675978}, interhash = {ae46abe742b80a8dfae590c503d8d417}, intrahash = {2565b33fef7374526acb9bd39e29b9aa}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 3, pages = {223-231}, timestamp = {2015-12-24T12:02:03.000+0100}, title = {Hardware Specification with Temporal Logic: En Example.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc31.html#Bochmann82}, volume = 31, year = 1982 }