@article{Bochmann:1982,
    Author = {Bochmann, G.V.},
    File = {Hardware Specification with Temporal Logic An Example - Bochmann (0) (0) - a - a - k.pdf},
    ISSN = {0018-9340},
    Journal = {Computers, IEEE Transactions on},
    Keywords = {communicating automata},
    Number = {3},
    Pages = {223-231},
    Title = {Hardware Specification with Temporal Logic: An Example},
    Volume = {C-31},
    Year = {1982},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1982.1675978},
    date-added = {2013-12-28 19:40:09 +0000},
    date-modified = {2013-12-28 19:40:55 +0000},
    doi = {10.1109/TC.1982.1675978}
}

@article{Bochmann:1982, Author = {Bochmann, G.V.}, File = {Hardware Specification with Temporal Logic An Example - Bochmann (0) (0) - a - a - k.pdf}, ISSN = {0018-9340}, Journal = {Computers, IEEE Transactions on}, Keywords = {communicating automata}, Number = {3}, Pages = {223-231}, Title = {Hardware Specification with Temporal Logic: An Example}, Volume = {C-31}, Year = {1982}, bdsk-url-1 = {http://dx.doi.org/10.1109/TC.1982.1675978}, date-added = {2013-12-28 19:40:09 +0000}, date-modified = {2013-12-28 19:40:55 +0000}, doi = {10.1109/TC.1982.1675978} }