( en | de | ru )

 

Disambiguierung von "Pandya, Paritosh K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Design of Hybrid Systems.

, , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 738-755. Springer, (1994)

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.

Shreekrishna Pandya

Paritosh Padhy

Navinchandra Chimanlal Pandya

Paritosh Kumar Saha

Paritosh Kumar Das Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Around Dot Depth Two., , und . Developments in Language Theory, Volume 6224 von Lecture Notes in Computer Science, Seite 303-315. Springer, (2010)Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions., und . LATA, Volume 5457 von Lecture Notes in Computer Science, Seite 728-739. Springer, (2009)The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version), und . CoRR, (2013)Büchi-Kamp Theorems for 1-clock ATA., , und . CoRR, (2018)The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints., und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 77-91. Springer, (2012)A Calculus for Hybrid Sampled Data Systems., , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 716-737. Springer, (1994)Recursive Mean-Value Calculus., und . FSTTCS, Volume 1530 von Lecture Notes in Computer Science, Seite 257-268. Springer, (1998)Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.. CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 434-451. Springer, (1995)Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.. AVoCS, Volume 128 von Electronic Notes in Theoretical Computer Science, Seite 247-262. Elsevier, (2004)The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs.. SLAP@ETAPS, Volume 65 von Electronic Notes in Theoretical Computer Science, Seite 110-124. Elsevier, (2002)