%0 Conference Paper %1 conf/fm/SherifSC01 %A Sherif, Adnan %A Sampaio, Augusto %A Cavalcante, Sérgio %B FME %D 2001 %E Oliveira, José Nuno %E Zave, Pamela %I Springer %K dblp %P 278-299 %T An Integrated Approach to Specification and Validation of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/fm/fme2001.html#SherifSC01 %V 2021 %@ 3-540-41791-5

@inproceedings{conf/fm/SherifSC01, added-at = {2017-05-22T00:00:00.000+0200}, author = {Sherif, Adnan and Sampaio, Augusto and Cavalcante, Sérgio}, biburl = {https://www.bibsonomy.org/bibtex/2be9716ac9d847e47564609e6459d74a5/dblp}, booktitle = {FME}, crossref = {conf/fm/2001}, editor = {Oliveira, José Nuno and Zave, Pamela}, ee = {https://doi.org/10.1007/3-540-45251-6_16}, interhash = {87d32fc75b9fb1651f08f03aee15ff47}, intrahash = {be9716ac9d847e47564609e6459d74a5}, isbn = {3-540-41791-5}, keywords = {dblp}, pages = {278-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:58:57.000+0200}, title = {An Integrated Approach to Specification and Validation of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme2001.html#SherifSC01}, volume = 2021, year = 2001 }