( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explicit and Controllable Assignment Semantics.

, и . CoRR, (2019)

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.

Wolfgang Büchs

Jens Buchs

Heribert Büchs

Jochen Büchs

Ludwig Büchs

 

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

Preface., , и . Fundam. Informaticae, (2022)Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems., и . Comput. Artif. Intell., 16 (2): 187-216 (1997)StrataGEM: A Generic Petri Net Verification Framework., , и . Petri Nets, том 8489 из Lecture Notes in Computer Science, стр. 364-373. Springer, (2014)CREST - A DSL for Reactive Cyber-Physical Systems., , и . SAM, том 11150 из Lecture Notes in Computer Science, стр. 29-45. Springer, (2018)A Coordination Model for Distributed Object Systems., и . COORDINATION, том 1282 из Lecture Notes in Computer Science, стр. 410-413. Springer, (1997)Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems., , и . SERENE, том 8785 из Lecture Notes in Computer Science, стр. 139-153. Springer, (2014)Explicit and Controllable Assignment Semantics., и . CoRR, (2019)Contextual Coordination between Objects., и . SBES, стр. 341-356. SBC, (1996)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 91-110. CEUR-WS.org, (2014)Prototyping Domain Specific Languages with COOPN., , и . RISE, том 3943 из Lecture Notes in Computer Science, стр. 174-189. Springer, (2005)