( en | de | ru )

 

Disambiguierung von "Ciobanu, Gabriel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UTP and Temporal Logic Model Checking.

, , und . UTP, Volume 5713 von Lecture Notes in Computer Science, Seite 22-41. Springer, (2008)

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.

Marius Ciobanu

Oxana Ciobanu

Florentin Ciobanu

Ruxandra Oana Ciobanu

Vilia-Elena Spiegel-Ciobanu

 

Weitere Publikationen von Autoren mit dem selben Namen

Molecular structures.. Where Mathematics, Computer Science, Linguistics and Biology Meet, Seite 299-317. Kluwer Academic Publishers, (2001)PerTiMo: A Model of Spatial Migration with Safe Access Permissions., und . Comput. J., 58 (5): 1041-1060 (2015)Mealy multiset automata., und . Int. J. Found. Comput. Sci., 17 (1): 111-126 (2006)Topological spaces of the web., und . WWW (Special interest tracks and posters), Seite 1112-1113. ACM, (2005)Finitely Supported Sets Containing Infinite Uniformly Supported Subsets., und . FROM, Volume 303 von EPTCS, Seite 120-134. (2019)On the relationship between membranes and ambients., und . Biosyst., 91 (3): 515-530 (2008)Flexible software architecture and language for mobile agents., und . Concurr. Comput. Pract. Exp., 24 (6): 559-571 (2012)On the Foundations of Finitely Supported Sets., und . J. Multiple Valued Log. Soft Comput., 32 (5-6): 541-564 (2019)Complexity of evolution in maximum cooperative P systems., und . Nat. Comput., 8 (4): 807-816 (2009)Communication Equivalence Classes in Networks., und . Comput. Sci. J. Moldova, 12 (3): 359-363 (2004)