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, p292-297, 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, p183-189, 7p
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, p283-291, 9p
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, p272-276, 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, p231-242, 12p
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, 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, 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