Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Green Logic: Models, Methods, Algorithms;Green IT Engineering: Concepts, Models, Complex Systems Architectures;2016-09-22
2. Semantic Quality Attributes for Big-Step Modelling Languages;Fundamental Approaches to Software Engineering;2011
3. Representation of a class of nondeterministic semiautomata by canonical words;Theoretical Computer Science;2006-05
4. Janusz Brzozowski;Studies in Computational Intelligence;2006
5. True concurrency in models of asynchronous circuit behavior;Formal Methods in System Design;2003