%0 Journal Article %1 journals/stp/CleavelandNSL96 %A Cleaveland, Rance %A Natarajan, V. %A Sims, Steve %A Lüttgen, Gerald %D 1996 %J Softw. Concepts Tools %K dblp %N 2 %P 50-62 %T Modeling and Verifying Distributed Systems Using Priorities: A Case Study. %U http://dblp.uni-trier.de/db/journals/stp/stp17.html#CleavelandNSL96 %V 17

@article{journals/stp/CleavelandNSL96, added-at = {2021-01-19T00:00:00.000+0100}, author = {Cleaveland, Rance and Natarajan, V. and Sims, Steve and Lüttgen, Gerald}, biburl = {https://www.bibsonomy.org/bibtex/2241e86e459d238f8d766cd44652c797c/dblp}, interhash = {ce62eecf490ee9ada2bbbbcf915c3a8a}, intrahash = {241e86e459d238f8d766cd44652c797c}, journal = {Softw. Concepts Tools}, keywords = {dblp}, number = 2, pages = {50-62}, timestamp = {2024-04-08T15:00:57.000+0200}, title = {Modeling and Verifying Distributed Systems Using Priorities: A Case Study.}, url = {http://dblp.uni-trier.de/db/journals/stp/stp17.html#CleavelandNSL96}, volume = 17, year = 1996 }