%0 Conference Paper %1 conf/kbse/AbergLSMM03 %A Åberg, Rickard A. %A Lawall, Julia L. %A Südholt, Mario %A Muller, Gilles %A Meur, Anne-Françoise Le %B ASE %D 2003 %I IEEE Computer Society %K dblp %P 196-204 %T On the automatic evolution of an OS kernel using temporal logic and AOP. %U http://dblp.uni-trier.de/db/conf/kbse/ase2003.html#AbergLSMM03 %@ 0-7695-2035-9

@inproceedings{conf/kbse/AbergLSMM03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Åberg, Rickard A. and Lawall, Julia L. and Südholt, Mario and Muller, Gilles and Meur, Anne-Françoise Le}, biburl = {https://www.bibsonomy.org/bibtex/213de4f27f5f7685c5a743a7acffaed70/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240307}, interhash = {5ccd3672b9eb9a0088e2b822b3d781a2}, intrahash = {13de4f27f5f7685c5a743a7acffaed70}, isbn = {0-7695-2035-9}, keywords = {dblp}, pages = {196-204}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:02:47.000+0200}, title = {On the automatic evolution of an OS kernel using temporal logic and AOP.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2003.html#AbergLSMM03}, year = 2003 }