%0 Journal Article %1 journals/rts/ArmstrongB96 %A Armstrong, James %A Barroca, Leonor %D 1996 %J Real Time Syst. %K dblp %N 2 %P 143-178 %T Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. %U http://dblp.uni-trier.de/db/journals/rts/rts10.html#ArmstrongB96 %V 10

@article{journals/rts/ArmstrongB96, added-at = {2022-01-13T00:00:00.000+0100}, author = {Armstrong, James and Barroca, Leonor}, biburl = {https://www.bibsonomy.org/bibtex/2ca9013389a68deed77a67034377e0552/dblp}, ee = {https://doi.org/10.1007/BF00360339}, interhash = {6772ad9a4882ed290bc3e02c9eb6f90d}, intrahash = {ca9013389a68deed77a67034377e0552}, journal = {Real Time Syst.}, keywords = {dblp}, number = 2, pages = {143-178}, timestamp = {2024-04-08T15:00:44.000+0200}, title = {Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts10.html#ArmstrongB96}, volume = 10, year = 1996 }