From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

UTP and Temporal Logic Model Checking.

H. Anderson, G. Ciobanu, и L. Freitas. UTP, том 5713 из Lecture Notes in Computer Science, стр. 22-41. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

The Reflexive Domain of CPO's Ideals.G. Ciobanu. Acta Cybern., 12 (3): 249-260 (1996)Communication Equivalence Classes in Networks.G. Ciobanu, и V. Gontineac. Comput. Sci. J. Moldova, 12 (3): 359-363 (2004)On the Branching Complexity of P Systems.G. Ciobanu, G. Paun, и M. Pérez-Jiménez. Fundam. Informaticae, 73 (1-2): 27-36 (2006)On the relationship between membranes and ambients.G. Ciobanu, и B. Aman. Biosyst., 91 (3): 515-530 (2008)On the Foundations of Finitely Supported Sets.A. Alexandru, и G. Ciobanu. J. Multiple Valued Log. Soft Comput., 32 (5-6): 541-564 (2019)Complexity of evolution in maximum cooperative P systems.G. Ciobanu, и A. Resios. Nat. Comput., 8 (4): 807-816 (2009)Molecular structures.G. Ciobanu. Where Mathematics, Computer Science, Linguistics and Biology Meet, стр. 299-317. Kluwer Academic Publishers, (2001)Finitely Supported Sets Containing Infinite Uniformly Supported Subsets.A. Alexandru, и G. Ciobanu. FROM, том 303 из EPTCS, стр. 120-134. (2019)Abstract Structures for Communication between Processes.G. Ciobanu, и E. Olariu. Ershov Memorial Conference, том 1755 из Lecture Notes in Computer Science, стр. 221-227. Springer, (1999)PerTiMo: A Model of Spatial Migration with Safe Access Permissions.G. Ciobanu, и M. Koutny. Comput. J., 58 (5): 1041-1060 (2015)