Items where Author is "Khomenko, Victor"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 2.

Khomenko, Victor and Germanos, Vasileios (2015) Modelling and Analysis Mobile Systems Using �pi-calculus (EFCP). Transactions on Petri Nets and Other Models of Concurrency X, 9410. pp. 153-175. ISSN 0302-9743

Germanos, Vasileios and Haar, Stefan and Khomenko, Victor and Schwoon, Stefan (2014) Diagnosability under Weak Fairness. In: 2014 14th International Conference on Application of Concurrency to System Design, 23-27 June 2014, Tunis La Marsa.

This list was generated on Sun Feb 23 01:01:33 2025 GMT.
Hope's Institutional Research Archive (HIRA) is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility