Author:
Lüttgen Gerald,Vogler Walter
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hypercontracts;Lecture Notes in Computer Science;2022
2. Interface Automata for Shared Memory;Acta Informatica;2021-08-30
3. A linear-time branching-time perspective on interface automata;Acta Informatica;2020-05-06
4. Interface Automata for Shared Memory;Lecture Notes in Computer Science;2019
5. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018