PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Abdulla, Parosh Aziz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying safety and liveness for the FlexTM hybrid transactional memory.

, , , , und . DATE, Seite 785-790. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Abdulla, Parosh Aziz
Eine Person hinzufügen mit dem Namen Abdulla, Parosh Aziz
 

Weitere Publikationen von Autoren mit dem selben Namen

Budget-bounded model-checking pushdown systems., , , und . Formal Methods in System Design, 45 (2): 273-301 (2014)Approximated parameterized verification of infinite-state processes with global conditions., , und . Formal Methods in System Design, 34 (2): 126-156 (2009)Well (and better) quasi-ordered transition systems.. Bulletin of Symbolic Logic, 16 (4): 457-515 (2010)Universality Analysis for One-Clock Timed Automata., , , , und . Fundam. Inform., 89 (4): 419-450 (2008)Universality of R-automata with Value Copying., , und . Electr. Notes Theor. Comput. Sci., (2009)Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems., und . STTT, 15 (2): 85-88 (2013)Verification of Cache Coherence Protocols wrt. Trace Filters., , , , und . FMCAD, Seite 9-16. IEEE, (2015)Limiting Behavior of Markov Chains with Eager Attractors., , , und . QEST, Seite 253-264. IEEE Computer Society, (2006)Preface., , , , und . Fundam. Inform., 143 (3-4): i-ii (2016)Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing., , , , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2010)