Zobrazeno 1 - 10
of 119
pro vyhledávání: '"Henzinger, T."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p375-400, 26p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p131-136, 6p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p364-368, 5p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p351-360, 10p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p335-347, 13p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p331-335, 5p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p328-331, 4p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p324-327, 4p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p321-324, 4p