[[biblio:alsm03acp4is]]

Evolving an OS kernel using temporal logic and AOP

Bibtex entry :

@inproceedings {  alsm03acp4is,
    author = { R.A. AAberg and J.L. Lawall and M. Südholt and G. Muller },
    title = { Evolving an OS kernel using temporal logic and AOP },
    journal = { Proc. of the 2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS) },
    year = { 2003 },
}
chimeric.de = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0