A Batch-Service Queueing System with General Input and Its Application to Analysis of Mining Process for Bitcoin Blockchain | IEEE Conference Publication | IEEE Xplore