«

»

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 Proceedings of the 15th international conference on Model driven engineering languages and systems (MODELS 2012) (Robert France, Juergen Kazmeier, Colin Atkinson, Ruth Breu, eds.), Springer, volume 7590, 2012. (slides) (AR=23%)
Bibtex Entry:
@inproceedings{models12,
	Address = {Innsbruck, Austria},
	Author = {Benoit Combemale and Xavier Thirioux and Benoit Baudry},
	Booktitle = {Proceedings of the 15th international conference on Model driven engineering languages and systems (MODELS 2012)},
	Comment = {<a href="http://www.combemale.fr/research/2012/models12-infinitemodel-slides.pdf">slides</a>},
	Editor = {Robert France and Juergen Kazmeier and Colin Atkinson and Ruth Breu},
	Month = Oct,
	Note = {AR=23%},
	Pages = {119-133},
	Pdf = {http://hal.inria.fr/docs/00/71/66/23/PDF/models12-infinitemodel.pdf},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{Formally Defining and Iterating Infinite Models}},
	Url = {http://hal.inria.fr/hal-00716623},
	Volume = {7590},
	Year = {2012},
	Bdsk-Url-1 = {http://hal.inria.fr/hal-00716623}}