doi — 10.1109/LI

1 paper found with doi equals to 10.1109/LICS.1993.287591. 
  1. @inproceedings{ABDU93,
 author = {Abdulla, P. and Jonsson, B.},
 booktitle = {[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science},
 doi = {10.1109/LICS.1993.287591},
 pages = {160-170},
 title = {Verifying programs with unreliable channels},
 year = {1993}
}