( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Construction Approach for Distributed System Specifications.

, и . FORTE, том C-22 из IFIP Transactions, стр. 87-102. North-Holland, (1993)

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.

Gregor Bochmann

Gregor ˜vonœ Arx

Jörg Bochmann

Heinz Bochmann

Hellmuth Bochmann

 

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

Realizability of Collaboration-based Service Specifications., , и . APSEC, стр. 73-80. IEEE Computer Society, (2007)Testing in context: framework and test derivation., , , и . Comput. Commun., 19 (14): 1236-1249 (1996)The Equivalence in the DCP Model., и . Theor. Comput. Sci., 87 (1): 97-114 (1991)A Strategy for Efficient Crawling of Rich Internet Applications., , , , и . ICWE, том 6757 из Lecture Notes in Computer Science, стр. 74-89. Springer, (2011)Testing k-Safe Petri Nets., и . TestCom/FATES, том 5826 из Lecture Notes in Computer Science, стр. 33-48. Springer, (2009)Associativity between Weak and Strict Sequencing.. SAM, том 8769 из Lecture Notes in Computer Science, стр. 96-109. Springer, (2014)Synchronization in Distributed System Modules.. Berkeley Workshop, стр. 322-339. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1978)Using First-Order Logic to Reason about Submodule Construction.. FMOODS/FORTE, том 5522 из Lecture Notes in Computer Science, стр. 213-218. Springer, (2009)Using URL shorteners to compare phishing and malware attacks., , , , и . eCrime, стр. 1-13. IEEE, (2018)Some notes on the history of protocol engineering., , и . Comput. Networks, 54 (18): 3197-3209 (2010)