%0 Conference Paper %1 conf/apn/WellsM05 %A Wells, Lisa %A Maier, Thomas %B ICATPN %D 2005 %E Ciardo, Gianfranco %E Darondeau, Philippe %I Springer %K dblp %P 403-422 %T Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2005.html#WellsM05 %V 3536 %@ 3-540-26301-2

@inproceedings{conf/apn/WellsM05, added-at = {2017-05-26T00:00:00.000+0200}, author = {Wells, Lisa and Maier, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2565cfe292ce9fd2f9e14594322b1e2ef/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2005}, editor = {Ciardo, Gianfranco and Darondeau, Philippe}, ee = {https://doi.org/10.1007/11494744_23}, interhash = {3e94700f722054e8cb8a35e4e1ae3811}, intrahash = {565cfe292ce9fd2f9e14594322b1e2ef}, isbn = {3-540-26301-2}, keywords = {dblp}, pages = {403-422}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:20.000+0200}, title = {Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2005.html#WellsM05}, volume = 3536, year = 2005 }