@inproceedings{FSD94,
title = {Model-Based Verification Methods and Tools (Abstract) },
author = {Fernandez, Jean-Claude and Sifakis, Joseph and De Simone, Robert},
year = {1994},
booktitle = {CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
pages = {64},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {836},
team = {DCS},
}
