PRYWES, N., REHMET, P., SOKOLSKY, O. und LEE, I., 1997. Retrospective exploration of safety properties in real-time concurrent systems. In: . 1 Januar 1997.
Elsevier - Harvard (with titles)Prywes, N., Rehmet, P., Sokolsky, O., Lee, I., 1997. Retrospective exploration of safety properties in real-time concurrent systems, in: . https://doi.org/10.1109/DASC.1997.635010
American Psychological Association 7th editionPrywes, N., Rehmet, P., Sokolsky, O., & Lee, I. (1997). Retrospective exploration of safety properties in real-time concurrent systems. 1. https://doi.org/10.1109/DASC.1997.635010
Springer - Basic (author-date)Prywes N, Rehmet P, Sokolsky O, Lee I (1997) Retrospective exploration of safety properties in real-time concurrent systems
Juristische Zitierweise (Stüber) (Deutsch)Prywes, N./ Rehmet, P./ Sokolsky, O./ Lee, I., Retrospective exploration of safety properties in real-time concurrent systems, 1997, .