( en | de | ru )

 

Disambiguation of "von Bochmann, Gregor"

Author of the publication

copydeleteadd this publication to your clipboard
Control-flow based testing of Prolog programs.

, , , and . ISSRE, page 104-113. IEEE Computer Society, (1992)

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. You can also use the button next to the name to display some publications already assigned to the person.

Gregor Bochmann

Gregor ˜vonœ Arx

Heinz Bochmann

Hellmuth Bochmann

Christian Bochmann

 

Other publications of authors with the same name

Stochastic Performance Analysis of Distributed Activities., and . NiM-ALP@MoDELS, volume 1074 of CEUR Workshop Proceedings, page 24-31. CEUR-WS.org, (2013)An experimental prototype for scalable server selection., , , and . IPCCC, page 505-512. IEEE, (2003)Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services., and . AIMS, volume 6734 of Lecture Notes in Computer Science, page 124-135. Springer, (2011)Some notes on the history of protocol engineering., , and . Comput. Networks, 54 (18): 3197-3209 (2010)Deriving protocol specifications from service specifications written as Predicate/Transition-nets., , , and . Comput. Networks, 51 (1): 258-284 (2007)Protocol synthesis using basic Lotos and global variables., and . ICNP, page 126-. IEEE Computer Society, (1995)Solving Some Modeling Challenges when Testing Rich Internet Applications for Security., , , , , and . ICST, page 850-857. IEEE Computer Society, (2012)Conformance Relations and Test Derivation., , and . Protocol Test Systems, volume C-19 of IFIP Transactions, page 157-178. North-Holland, (1993)Specification Languages for Communication Protocols.. CHDL, volume A-32 of IFIP Transactions, page 379-396. North-Holland, (1993)Hierarchical Inter-Domain Management for Networks with Condo-Switches.. Communication Systems and Applications, page 190-196. IASTED/ACTA Press, (2005)