%0 Conference Paper %1 conf/arts/LiuJ97 %A Liu, Zhiming %A Joseph, Mathai %B ARTS %D 1997 %E Bertran, Miquel %E Rus, Teodor %I Springer %K dblp %P 295-309 %T Formalizing Real-Time Scheduling as Program Refinement. %U http://dblp.uni-trier.de/db/conf/arts/arts1997.html#LiuJ97 %V 1231 %@ 3-540-63010-4

@inproceedings{conf/arts/LiuJ97, added-at = {2017-05-22T00:00:00.000+0200}, author = {Liu, Zhiming and Joseph, Mathai}, biburl = {https://www.bibsonomy.org/bibtex/2dd6abd46394adf68b094e9a14caca191/dblp}, booktitle = {ARTS}, crossref = {conf/arts/1997}, editor = {Bertran, Miquel and Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-63010-4_20}, interhash = {c232923553dd67f6e0d6876cec2170f8}, intrahash = {dd6abd46394adf68b094e9a14caca191}, isbn = {3-540-63010-4}, keywords = {dblp}, pages = {295-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:12:08.000+0200}, title = {Formalizing Real-Time Scheduling as Program Refinement.}, url = {http://dblp.uni-trier.de/db/conf/arts/arts1997.html#LiuJ97}, volume = 1231, year = 1997 }