%0 Journal Article %1 journals/fmsd/HulgaardB97 %A Hulgaard, Henrik %A Burns, Steven M. %D 1997 %J Formal Methods Syst. Des. %K dblp %N 3 %P 265-294 %T Bounded Delay Timing Analysis of a Class of CSP Programs. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#HulgaardB97 %V 11

@article{journals/fmsd/HulgaardB97, added-at = {2020-03-13T00:00:00.000+0100}, author = {Hulgaard, Henrik and Burns, Steven M.}, biburl = {https://www.bibsonomy.org/bibtex/2a7601b8d21c0062e2e814a3b2c26c1e8/dblp}, ee = {https://doi.org/10.1023/A:1008655714875}, interhash = {564ba386be31e1c69b1ccb0eb8799cc4}, intrahash = {a7601b8d21c0062e2e814a3b2c26c1e8}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {265-294}, timestamp = {2020-03-14T11:51:24.000+0100}, title = {Bounded Delay Timing Analysis of a Class of CSP Programs.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#HulgaardB97}, volume = 11, year = 1997 }