%0 Journal Article %1 journals/pieee/LeeB094 %A Lee, Insup %A Brémond-Grégoire, Patrice %A Gerber, Richard %D 1994 %J Proc. IEEE %K dblp %N 1 %P 158-171 %T A process algebraic approach to the specification and analysis of resource-bound real-time systems. %U http://dblp.uni-trier.de/db/journals/pieee/pieee82.html#LeeB094 %V 82

@article{journals/pieee/LeeB094, added-at = {2023-01-26T00:00:00.000+0100}, author = {Lee, Insup and Brémond-Grégoire, Patrice and Gerber, Richard}, biburl = {https://www.bibsonomy.org/bibtex/278c79bb4a9aa30a1b6e3b953c9ed196e/dblp}, ee = {https://doi.org/10.1109/5.259433}, interhash = {d239dc3f267bbceaee2eaba0f9e5a470}, intrahash = {78c79bb4a9aa30a1b6e3b953c9ed196e}, journal = {Proc. IEEE}, keywords = {dblp}, number = 1, pages = {158-171}, timestamp = {2024-04-09T04:37:47.000+0200}, title = {A process algebraic approach to the specification and analysis of resource-bound real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee82.html#LeeB094}, volume = 82, year = 1994 }