BibTeX record conf/kbse/BultanY01

download as .bib file

@inproceedings{DBLP:conf/kbse/BultanY01,
  author    = {Tevfik Bultan and
               Tuba Yavuz{-}Kahveci},
  title     = {Action Language Verifier},
  booktitle = {{ASE}},
  pages     = {382--386},
  publisher = {{IEEE} Computer Society},
  year      = {2001}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics