Research Areas
Research Labs
Workshops
Publications
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}
|
