( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Brzozowski's and Up-To Algorithms for Must Testing.

, , , и . APLAS, том 8301 из Lecture Notes in Computer Science, стр. 1-16. Springer, (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.

Georgiana Ifrim

Georgiana Marsic

Georgiana Dinu

Georgiana Tulvan

Georgiana Ogrean

 

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

Automatic equivalence proofs for non-deterministic coalgebras., , , , , и . Sci. Comput. Program., 78 (9): 1324-1345 (2013)Brzozowski's and Up-To Algorithms for Must Testing., , , и . APLAS, том 8301 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2013)Automated Proving of the Behavioral Attributes., , , и . BCI, стр. 33-38. IEEE Computer Society, (2009)Simplification and Generalization in CIRC., , и . SYNASC, стр. 85-92. IEEE Computer Society, (2009)Coffman deadlocks in SCOOP., и . CoRR, (2014)CIRC: A Behavioral Verification Tool Based on Circular Coinduction., , , и . CALCO, том 5728 из Lecture Notes in Computer Science, стр. 433-442. Springer, (2009)A Decision Procedure for Bisimilarity of Generalized Regular Expressions., , , , , и . SBMF, том 6527 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2010)Counterfactual Causality in Networks., и . CoRR, (2022)Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela., , и . MODELSWARD, стр. 360-372. SCITEPRESS, (2020)On the verification of SCOOP programs., и . Sci. Comput. Program., (2017)