%0 Conference Paper %1 conf/adt/OrejasN90 %A Orejas, Fernando %A Nivela, Pilar %B ADT %D 1990 %E Ehrig, Hartmut %E Jantke, Klaus P. %E Orejas, Fernando %E Reichel, Horst %I Springer %K dblp %P 220-245 %T Constraints for Behavioural Specifications. %U http://dblp.uni-trier.de/db/conf/adt/adt1990.html#OrejasN90 %V 534 %@ 3-540-54496-8

@inproceedings{conf/adt/OrejasN90, added-at = {2017-05-20T00:00:00.000+0200}, author = {Orejas, Fernando and Nivela, Pilar}, biburl = {https://www.bibsonomy.org/bibtex/2c68f51913a172f17dfa5fa070f7bab6d/dblp}, booktitle = {ADT}, crossref = {conf/adt/1990}, editor = {Ehrig, Hartmut and Jantke, Klaus P. and Orejas, Fernando and Reichel, Horst}, ee = {https://doi.org/10.1007/3-540-54496-8_12}, interhash = {25674f2c2073ed45c11348885526e8ca}, intrahash = {c68f51913a172f17dfa5fa070f7bab6d}, isbn = {3-540-54496-8}, keywords = {dblp}, pages = {220-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T08:12:01.000+0200}, title = {Constraints for Behavioural Specifications.}, url = {http://dblp.uni-trier.de/db/conf/adt/adt1990.html#OrejasN90}, volume = 534, year = 1990 }