( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bounded satisfiability checking of metric temporal logic specifications.

, , и . ACM Trans. Softw. Eng. Methodol., 22 (3): 20:1-20:54 (2013)

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.

Bernhard Pradella

Silke Pradella

Lothar Pradella

Harald Pradella

Jens Pradella

 

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

Operator precedence temporal logic and model checking., , и . Theor. Comput. Sci., (2020)Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages., , и . Log. Methods Comput. Sci., (2023)Bounded satisfiability checking of metric temporal logic specifications., , и . ACM Trans. Softw. Eng. Methodol., 22 (3): 20:1-20:54 (2013)Parallel parsing made practical., , , , и . Sci. Comput. Program., (2015)Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization., , , и . SIAM J. Comput., 44 (4): 1026-1088 (2015)Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , и . SOFSEM, том 7741 из Lecture Notes in Computer Science, стр. 307-318. Springer, (2013)A formal approach for designing CORBA based applications., , , и . ICSE, стр. 188-197. ACM, (2000)An Automatic Approach to Enable Replacement of Conversational Services., , и . ICSOC/ServiceWave, том 5900 из Lecture Notes in Computer Science, стр. 159-174. (2009)ContextErlang: introducing context-oriented programming in the actor model., , и . AOSD, стр. 191-202. ACM, (2012)Bounded Reachability for Temporal Logic over Constraint Systems., , , , , и . TIME, стр. 43-50. IEEE Computer Society, (2010)