( en | de | ru )

 

Disambiguierung von "Kutty, George"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

, , , , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 138-153. Springer, (1993)

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.

Gani Kuttymuratov

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Andrew George

George Teodoru

George Couplanad

 

Weitere Publikationen von Autoren mit dem selben Namen

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next., , , und . Fundam. Informaticae, 21 (4): 257-305 (1994)A System for Automated Deduction in Graphical Interval Logic., , , , und . ICTL, Volume 827 von Lecture Notes in Computer Science, Seite 540-542. Springer, (1994)An Automata-Theoretic Decision Procedure for Future Interval Logic., , , , und . FSTTCS, Volume 652 von Lecture Notes in Computer Science, Seite 51-67. Springer, (1992)Interval Logics and Their Decision Procedures, Part I: An Interval Logic., , , , und . Theor. Comput. Sci., 166 (1&2): 1-47 (1996)Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic., , , , und . Theor. Comput. Sci., 170 (1-2): 1-46 (1996)First-Order Future Interval Logic., , , , und . ICTL, Volume 827 von Lecture Notes in Computer Science, Seite 195-209. Springer, (1994)The Real-Time Graphical Interval Logic Toolset., , , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 446-449. Springer, (1996)A Graphical Interval Logic for Specifying Concurrent Systems., , , , und . ACM Trans. Softw. Eng. Methodol., 3 (2): 131-165 (1994)A Graphical Environment for the Design of Concurrent Real-Time Systems., , , , und . ACM Trans. Softw. Eng. Methodol., 6 (1): 31-79 (1997)A Graphical Interval Logic Toolset for Verifying Concurrent Systems., , , , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 138-153. Springer, (1993)