BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Supporting model checking education using BOGOR/Eclipse.

ETX, : 88-92, 2004.
Authors: Matthew B. Dwyer and John Hatcliff and Matthew Hoosier
Editors: Michael G. Burke
URL: http://dblp.uni-trier.de/db/conf/eclipse/eclipse2004.html#DwyerHH04
Description: dblp
Tags: dblp
| URL | BibTeX  
@inproceedings{conf/eclipse/DwyerHH04,
title = {Supporting model checking education using BOGOR/Eclipse.},
author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier},
booktitle = {ETX},
crossref = {conf/eclipse/2004},
editor = {Michael G. Burke},
pages = {88-92},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2004.html#DwyerHH04},
year = {2004},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1066129.1066147}, date = {2008-04-02},
keywords = {dblp }
}