 | Up a level |
Benattar, G., Bérard, B., Lime, D., Mullins, J., Roux, O. H., & Sassolas, M. (2009, August). Covert channels with sequential transducers [Paper]. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) and Satellite Workshop on Foundations of Computer Security (CFS 2009), Los Angeles, CA (15 pages). External link
Boucheneb, H., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. External link
