@INPROCEEDINGS{cav99,
AUTHOR = "David Basin and Stefan Friedrich and Joachim Posegga and Harald Vogt",
TITLE =  "Java Byte Code Verification by Model Checking",
BOOKTITLE = "11th International Conference on Computer-Aided Verification (CAV'99)",
PUBLISHER = "Springer-Verlag",
SERIES = "Lecture Notes in Computer Science",
NUMBER = 1633,
ADDRESS = "Trento, Italy",
MONTH = "July", 
YEAR = 1999,
PAGES = "491--494"
}