%0 Conference Paper %1 conf/ftrtft/FowlerW96 %A Fowler, Simon %A Wellings, Andy J. %B FTRTFT %D 1996 %E Jonsson, Bengt %E Parrow, Joachim %I Springer %K %P 440-458 %T Formal Analysis of a Real-Time Kernel Specification. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#FowlerW96 %V 1135 %@ 3-540-61648-9

@inproceedings{conf/ftrtft/FowlerW96, added-at = {2023-12-13T04:50:39.000+0100}, author = {Fowler, Simon and Wellings, Andy J.}, biburl = {https://www.bibsonomy.org/bibtex/225bda483fccdd771952a340beb8dba24/admin}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1996}, editor = {Jonsson, Bengt and Parrow, Joachim}, ee = {https://doi.org/10.1007/3-540-61648-9_55}, interhash = {9b0dc8712352c47ef29bd28d94750e4f}, intrahash = {25bda483fccdd771952a340beb8dba24}, isbn = {3-540-61648-9}, keywords = {}, pages = {440-458}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:50:39.000+0100}, title = {Formal Analysis of a Real-Time Kernel Specification.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1996.html#FowlerW96}, volume = 1135, year = 1996 }