PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Janicki, Ryszard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.

, und . Software Engineering Research and Practice, Seite 10-16. CSREA Press, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Janicki, Ryszard
Eine Person hinzufügen mit dem Namen Janicki, Ryszard
 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling concurrency with comtraces and generalized comtraces., und . Inf. Comput., 209 (11): 1355-1389 (2011)Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify., und . Software Engineering Research and Practice, Seite 10-16. CSREA Press, (2009)On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking., und . FCS, Seite 183-186. CSREA Press, (2010)Property-Driven Rough Sets Approximations of Relations.. Rough Sets and Intelligent Systems (1), Volume 42 von Intelligent Systems Reference Library, Springer, (2013)Towards a Pragmatic Mereology., und . Fundam. Inform., 75 (1-4): 295-314 (2007)Concurrent and Maximally Concurrent Evolution of Nonsequential Systems., , , und . Theor. Comput. Sci., (1986)Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards., und . Theor. Comput. Sci., 77 (1&2): 97-129 (1990)On Pairwise Comparisons Based Internal and External Measures for Software Evaluation., und . WETICE, Seite 371-376. IEEE Computer Society, (2013)On the Design of Concurrent Systems.. ICDCS, Seite 455-466. IEEE Computer Society, (1981)Classifying invariant structures of step traces., , , und . J. Comput. Syst. Sci., (2019)