Вы здесь

Kemper P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The ProC/BToolset for the Modeling and Analysis of Process Chains 2002 Bause F., Beilner H., Fischer M., Kemper P., Volker M. Lecture Notes in Computer Science 29.05.2002
СТ Transient Analysis of Superposed GSPNs 1999 Kemper P. IEEE Trans. on Software Engineering 17.07.1999
СТ Modular State Level Analysis of Distributed Systems Techniques and Tool Support 1999 Buchholz P., Kemper P. Lecture Notes in Computer Science 08.04.1999
СТ Numerical Analysis of Superposed GSPNs 1996 Kemper P. IEEE Trans. on Software Engineering 20.12.1996
СТ Reachability Analysis Based on Structured Representations 1996 Kemper P. Lecture Notes in Computer Science 01.08.1996
СТ QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets 1994 Bause F., Kemper P. Lecture Notes in Computer Science 07.07.1994
СТ Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net 1993 Kemper P. Lecture Notes in Computer Science 21.08.1993
СТ An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets 1992 Kemper P., Bause F. Lecture Notes in Computer Science 09.07.1992

Редактор: