%0 Conference Paper %1 conf/jisbd/CapelMAT06 %A Capel, Manuel I. %A Morales, Luis E. Mendoza %A Akhlaki, Kawtar Benghazi %A Terriza, Juan Antonio Holgado %B JISBD %D 2006 %E Santos, José Cristóbal Riquelme %E Botella, Pere %K dblp %P 283-292 %T A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. %U http://dblp.uni-trier.de/db/conf/jisbd/jisbd2006.html#CapelMAT06 %@ 84-95999-99-4

@inproceedings{conf/jisbd/CapelMAT06, added-at = {2007-10-04T00:00:00.000+0200}, author = {Capel, Manuel I. and Morales, Luis E. Mendoza and Akhlaki, Kawtar Benghazi and Terriza, Juan Antonio Holgado}, biburl = {https://www.bibsonomy.org/bibtex/2e9f5ed6f01bc1c421cf9776bfae010d7/dblp}, booktitle = {JISBD}, crossref = {conf/jisbd/2006}, date = {2007-10-04}, description = {dblp}, editor = {Santos, José Cristóbal Riquelme and Botella, Pere}, interhash = {199ed9388623e433ad5f86fc68069faf}, intrahash = {e9f5ed6f01bc1c421cf9776bfae010d7}, isbn = {84-95999-99-4}, keywords = {dblp}, pages = {283-292}, timestamp = {2007-10-10T14:20:01.000+0200}, title = {A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.}, url = {http://dblp.uni-trier.de/db/conf/jisbd/jisbd2006.html#CapelMAT06}, year = 2006 }