Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. Campos, S. V. A. In Budkowski, S., Cavalli, A. R., & Najm, E., editors, FORTE, volume 135, of IFIP Conference Proceedings, pages 249-263, 1998. Kluwer.
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. [link]Paper  bibtex   
@inproceedings{conf/forte/Campos98,
  added-at = {2002-01-03T00:00:00.000+0100},
  author = {Campos, Sérgio Vale Aguiar},
  biburl = {http://www.bibsonomy.org/bibtex/22404a17cb8c9ef5844a61f59a4b2bde0/dblp},
  booktitle = {FORTE},
  crossref = {conf/forte/1998},
  date = {2002-01-03},
  description = {dblp},
  editor = {Budkowski, Stanislaw and Cavalli, Ana R. and Najm, Elie},
  interhash = {ba788f69ba26a9bcbbe34bb8dc61dd74},
  intrahash = {2404a17cb8c9ef5844a61f59a4b2bde0},
  isbn = {0-412-84760-4},
  keywords = {dblp},
  pages = {249-263},
  publisher = {Kluwer},
  series = {IFIP Conference Proceedings},
  timestamp = {2002-01-03T00:00:00.000+0100},
  title = {Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.},
  url = {http://dblp.uni-trier.de/db/conf/forte/forte1998.html#Campos98},
  volume = 135,
  year = 1998
}
Downloads: 0