PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Moinudeen, Haja"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Design for Verification Approach Using an Embedding of PSL in aSML.

, , , und . Journal of Circuits, Systems, and Computers, 16 (6): 859-881 (2007)

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 Moinudeen, Haja
Eine Person hinzufügen mit dem Namen Moinudeen, Haja
 

Weitere Publikationen von Autoren mit dem selben Namen

Generating finite state machines from SystemC., , und . DATE Designers' Forum, Seite 76-81. European Design and Automation Association, Leuven, Belgium, (2006)A Design for Verification Approach Using an Embedding of PSL in aSML., , , und . Journal of Circuits, Systems, and Computers, 16 (6): 859-881 (2007)Towards a Faster Simulation of SystemC Designs., , , und . ISVLSI, Seite 418-419. IEEE Computer Society, (2006)Design for Verification of the PCI-X Bus., , und . FMCAD, Seite 187-188. IEEE Computer Society, (2006)