From post

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

A Structured Solution Approach for Markov Regenerative Processes.

E. Amparore, P. Buchholz, и S. Donatelli. QEST, том 8657 из Lecture Notes in Computer Science, стр. 9-24. Springer, (2014)

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.

Gilberto Gattaz

Gilberto Echeverria

Gilberto Granados

Gilberto Vargas

Gilberto Arantes

Другие публикации лиц с тем же именем

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.E. Amparore, M. Beccuti, и S. Donatelli. ATVA, том 10482 из Lecture Notes in Computer Science, стр. 184-200. Springer, (2017)Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.E. Amparore, P. Buchholz, и S. Donatelli. QEST, том 11785 из Lecture Notes in Computer Science, стр. 355-360. Springer, (2019)Efficient solution of extended Multiple-Phased Systems.E. Amparore, и S. Donatelli. VALUETOOLS, ACM, (2016)MC4CSLTA: An Efficient Model Checking Tool for CSLTA.E. Amparore, и S. Donatelli. QEST, стр. 153-154. IEEE Computer Society, (2010)Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving.E. Amparore, M. Beccuti, S. Collina, F. Simone, S. Donatelli, и F. Tango. ICINCO (2), стр. 817-822. SciTePress, (2014)Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.E. Amparore, и S. Donatelli. EPEW, том 8168 из Lecture Notes in Computer Science, стр. 206-220. Springer, (2013)Optimal Aggregation of Components for the Solution of Markov Regenerative Processes.E. Amparore, и S. Donatelli. QEST, том 9826 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2016)A Structured Solution Approach for Markov Regenerative Processes.E. Amparore, P. Buchholz, и S. Donatelli. QEST, том 8657 из Lecture Notes in Computer Science, стр. 9-24. Springer, (2014)Reengineering the Editor of the GreatSPN Framework.E. Amparore. PNSE @ Petri Nets, том 1372 из CEUR Workshop Proceedings, стр. 153-170. CEUR-WS.org, (2015)Presentation of the 9th Edition of the Model Checking Contest.E. Amparore, B. Berthomieu, G. Ciardo, S. Dal-Zilio, F. Gallà, L. Hillah, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon и 9 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 50-68. Springer, (2019)

BibSonomy

Disambiguation