Formally Defining and Iterating Infinite Models

by Benoit Combemale, Xavier Thirioux, Benoit Baudry
Reference:
Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2012.
Bibtex Entry:
@inproceedings{combemale12,
    title = {{Formally Defining and Iterating Infinite Models}},
    author = {Combemale, Benoit and Thirioux, Xavier and Baudry, Benoit},
    booktitle = {Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS)},
    pages={119-133},
    keywords = {MDE},
    year = {2012},
    url = {http://hal.inria.fr/hal-00716623/PDF/models12-infinitemodel.pdf},
	X-Country = {Austria},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
    x-abbrv = {MODELS},    
}