Kwiatkowska, M. Z.
Kwiatkowska, Marta Zofia 1957-
Kwiatkowska, M. Z. (Marta Z.), 1957-
Kwiatkowska, Marta, 1957-
Marta Kwiatkowska
Kwiatkowska, Marta Z. 1957-
Kwiatkowska, Marta (informatyk)
Kwiatkowska, Marta Zofia
Kwiatkowska, Marta Z. (Marta Zofia), 1957-
VIAF ID: 111220648 ( Personal )
Permalink: http://viaf.org/viaf/111220648
Preferred Forms
-
-
-
- 100 1 0 ‡a Kwiatkowska, M. Z. ‡q (Marta Z.), ‡d 1957-
- 100 1 _ ‡a Kwiatkowska, Marta Z. ‡d 1957-
-
-
-
- 100 1 _ ‡a Kwiatkowska, Marta Zofia ‡d 1957-
-
- 100 1 _ ‡a Kwiatkowska, Marta, ‡d 1957-
- 100 0 _ ‡a Marta Kwiatkowska
4xx's: Alternate Name Forms (22)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Automata, languages, and programming 40th international colloquium ; proceedings | |
Engineering of complex computer systems | |
ICECCS 2010 | |
International BCS-FACS Workshop (1990 : University of Leicester). Semantics for concurrency, 1990: | |
Mathematical techniques for analyzing concurrent and probabilistic systems | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Metody i środki programowania / Kazimierz Jojczyk, Tadeusz Kuzak, Marta Kwiatkowska. - Kraków, [1996]. | |
Re-interpreting the modal m-calculus | |
Vérification et synthèse quantitative. |