%0 Conference Paper %1 conf/icse/GreenspanMB94 %A Greenspan, Sol J. %A Mylopoulos, John %A Borgida, Alexander %B ICSE %D 1994 %E Fadini, Bruno %E Osterweil, Leon J. %E van Lamsweerde, Axel %I IEEE Computer Society / ACM Press %K dblp %P 135-147 %T On Formal Requirements Modeling Languages: RML Revisited. %U http://dblp.uni-trier.de/db/conf/icse/icse94.html#GreenspanMB94 %@ 0-8186-5855-X

@inproceedings{conf/icse/GreenspanMB94, added-at = {2012-05-14T00:00:00.000+0200}, author = {Greenspan, Sol J. and Mylopoulos, John and Borgida, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/22baa54bf25061d76371093a8a3ea4772/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1994}, editor = {Fadini, Bruno and Osterweil, Leon J. and van Lamsweerde, Axel}, ee = {http://portal.acm.org/citation.cfm?id=257734.257754}, interhash = {e6df2d59cbee001b6021559c7c4d3c2b}, intrahash = {2baa54bf25061d76371093a8a3ea4772}, isbn = {0-8186-5855-X}, keywords = {dblp}, pages = {135-147}, publisher = {IEEE Computer Society / ACM Press}, timestamp = {2012-05-15T11:43:46.000+0200}, title = {On Formal Requirements Modeling Languages: RML Revisited.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse94.html#GreenspanMB94}, year = 1994 }