%0 Conference Paper %1 conf/pact/KarpovS03 %A Karpov, Yuri G. %A Sotnikov, Dmitry %B PaCT %D 2003 %E Malyshkin, Victor E. %I Springer %K dblp %P 100-116 %T Interval Approach to Parallel Timed Systems Verification. %U http://dblp.uni-trier.de/db/conf/pact/pact2003.html#KarpovS03 %V 2763 %@ 3-540-40673-5

@inproceedings{conf/pact/KarpovS03, added-at = {2019-10-07T00:00:00.000+0200}, author = {Karpov, Yuri G. and Sotnikov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/2087bec2035439dc3c245d9aebc26ea6a/dblp}, booktitle = {PaCT}, crossref = {conf/pact/2003}, editor = {Malyshkin, Victor E.}, ee = {https://doi.org/10.1007/978-3-540-45145-7_9}, interhash = {1241e8c02b8782c12bbaa44f0af30204}, intrahash = {087bec2035439dc3c245d9aebc26ea6a}, isbn = {3-540-40673-5}, keywords = {dblp}, pages = {100-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-08T11:40:12.000+0200}, title = {Interval Approach to Parallel Timed Systems Verification.}, url = {http://dblp.uni-trier.de/db/conf/pact/pact2003.html#KarpovS03}, volume = 2763, year = 2003 }