%0 Journal Article %1 journals/tse/AuernheimerK86 %A Auernheimer, Brent %A Kemmerer, Richard A. %D 1986 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 879-889 %T RT-ASLAN: A Specification Language for Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse12.html#AuernheimerK86 %V 12

@article{journals/tse/AuernheimerK86, added-at = {2015-12-10T00:00:00.000+0100}, author = {Auernheimer, Brent and Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/255010330f2196d5eb548215ecf214dfa/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6313044}, interhash = {e6ad11355eb394f93810c60b4c4a1445}, intrahash = {55010330f2196d5eb548215ecf214dfa}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {879-889}, timestamp = {2015-12-12T11:56:16.000+0100}, title = {RT-ASLAN: A Specification Language for Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse12.html#AuernheimerK86}, volume = 12, year = 1986 }