?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
BRICK: Path Enumeration Based Bounded Reachability Checking..:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
5
Brick: Asynchronous Incentive-Compatible Payment Channels:
, In:
?
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems ,
7
Brick : Toward A Model for Designing Synchronous Colocat..:
, In:
?
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems ,
8