Modeling Concurrent Behaviors as Words - Archive ouverte HAL Access content directly
Book Sections Year : 2019
No file

Dates and versions

hal-03377146 , version 1 (14-10-2021)

Identifiers

Cite

Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho. Modeling Concurrent Behaviors as Words. Verification and Evaluation of Computer and Communication Systems, 11847, Springer International Publishing, pp.1-15, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-35092-5_1⟩. ⟨hal-03377146⟩
19 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More