bibtex

@article{BGJ+07a,
    title = {Specify, Compile, Run: Hardware from PSL },
    author = {Bloem, Roderick and Galler, Stefan J. and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
    year = {2007},
    journal = {Electr. Notes Theor. Comput. Sci.},
    number = {4},
    pages = {3-16},
    volume = {190},
    team = {DCS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4125612