Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:102, author = "Brigitte Pientka", editor = "Sandro Etalle and Miroslaw Truszczynski", title = "Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.(Invited Tutorial)", booktitle = "22nd International Conference Logic Programming (ICLP), Seattle, WA, USA", pages = "3-10", series = "Lecture Notes in Computer Science (LNCS) 4079", publisher = "Springer", year = 2006}