PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sethi, Divjyot"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking unbounded concurrent lists.

, , und . STTT, 18 (4): 375-391 (2016)

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

Weitere Publikationen von Autoren mit dem selben Namen

Abstractions for model checking SDN controllers., , und . FMCAD, Seite 145-148. IEEE, (2013)Model Checking Unbounded Concurrent Lists., , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 320-340. Springer, (2013)Parameterized Model Checking of Fine Grained Concurrency., , , und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 208-226. Springer, (2012)Specification and encoding of transaction interaction properties., , und . Formal Methods in System Design, 39 (2): 144-164 (2011)Model checking unbounded concurrent lists., , und . STTT, 18 (4): 375-391 (2016)SAT-based techniques for determining backbones for post-silicon fault localisation., , , und . HLDVT, Seite 84-91. IEEE Computer Society, (2011)Specification and synthesis of hardware checkpointing and rollback mechanisms., , , und . DAC, Seite 1226-1232. ACM, (2012)Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 330-347. Springer, (2014)