Author:
Andrychowicz Marcin,Dziembowski Stefan,Malinowski Daniel,Mazurek Łukasz
Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;R. Alur,1990
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science (1994)
3. Alur, R., Henzinger, T.A.: A really temporal logic. Journal of the ACM (1994)
4. Lecture Notes in Computer Science;T. Amnell,2002
5. Andreessen, M.: Why Bitcoin Matters. The New York Times (January 2013),
http://dealbook.nytimes.com/2014/01/21/why-bitcoin-matters/
(accessed on January 26, 2014)
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献