%0 Journal Article %1 journals/tse/ChengBMW93 %A Cheng, Albert Mo Kim %A Browne, James C. %A Mok, Aloysius K. %A Wang, Rwo-Hsi %D 1993 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 863-885 %T Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. %U http://dblp.uni-trier.de/db/journals/tse/tse19.html#ChengBMW93 %V 19

@article{journals/tse/ChengBMW93, added-at = {2021-04-09T00:00:00.000+0200}, author = {Cheng, Albert Mo Kim and Browne, James C. and Mok, Aloysius K. and Wang, Rwo-Hsi}, biburl = {https://www.bibsonomy.org/bibtex/241c21c7e877b7bc39165981bb2862997/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.241770}, interhash = {a4a9d69b6dddea0d4b289dbe5e2b447f}, intrahash = {41c21c7e877b7bc39165981bb2862997}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {863-885}, timestamp = {2024-04-08T21:08:16.000+0200}, title = {Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse19.html#ChengBMW93}, volume = 19, year = 1993 }