%0 Journal Article %1 journals/jods/GiorginiMNS03 %A Giorgini, Paolo %A Mylopoulos, John %A Nicchiarelli, Eleonora %A Sebastiani, Roberto %B Journal on Data Semantics I %D 2003 %E Spaccapietra, Stefano %E March, Salvatore T. %E Aberer, Karl %I Springer %J J. Data Semant. %K dblp %P 1-20 %T Formal Reasoning Techniques for Goal Models. %U http://dblp.uni-trier.de/db/journals/jods/jods1.html#GiorginiMNS03 %V 1 %@ 3-540-20407-5

@article{journals/jods/GiorginiMNS03, added-at = {2020-12-16T00:00:00.000+0100}, author = {Giorgini, Paolo and Mylopoulos, John and Nicchiarelli, Eleonora and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/299d918ae0a57f6255eb32f54bbfa41f9/dblp}, booktitle = {Journal on Data Semantics I}, crossref = {journals/jods/2003}, editor = {Spaccapietra, Stefano and March, Salvatore T. and Aberer, Karl}, ee = {https://doi.org/10.1007/978-3-540-39733-5_1}, interhash = {1af859cd2792ad94048d55b811cebddb}, intrahash = {99d918ae0a57f6255eb32f54bbfa41f9}, isbn = {3-540-20407-5}, journal = {J. Data Semant.}, keywords = {dblp}, pages = {1-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:30:57.000+0200}, title = {Formal Reasoning Techniques for Goal Models.}, url = {http://dblp.uni-trier.de/db/journals/jods/jods1.html#GiorginiMNS03}, volume = 1, year = 2003 }