sha256 — 064BF31AB5

1 paper found with sha256 equals to 064BF31AB54ECE6B0E9BD0985B1A8C13D96221AF1DB0F4C5CFE8FB439BB602E1. 
  1. @inproceedings{ABDU98,
 author = {Abdulla, Parosh Aziz and Jonsson, Bengt},
 booktitle = {Proceedings of TACAS'98},
 doi = {10.1007/BFb0054179},
 pages = {298--312},
 publisher = {Springer},
 sha256 = {064BF31AB54ECE6B0E9BD0985B1A8C13D96221AF1DB0F4C5CFE8FB439BB602E1},
 title = {Verifying networks of timed processes},
 volume = {1384},
 year = {1998}
}