@inproceedings{conf/caise/VanthienenMG06,
title = {Experiences with Modeling and Verification of Regulations.},
author = {Jan Vanthienen and Christophe Mues and Stijn Goedertier},
booktitle = {ReMo2V},
crossref = {conf/caise/2006remo2v},
editor = {Régine Laleau and Michel Lemoine},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
url = {http://dblp.uni-trier.de/db/conf/caise/remo2v2006.html#VanthienenMG06},
volume = {241},
year = {2006},
description = {dblp},
date = {2008-06-04}, ee = {http://ceur-ws.org/Vol-241/paper2.pdf},
keywords = {dblp }
}
::