%0 Conference Paper %1 conf/hpcc/LiuCJZ22 %A Liu, Shaobin %A Chen, Xiaohong %A Jin, Zhi %A Zhang, Min %B HPCC/DSS/SmartCity/DependSys %D 2022 %I IEEE %K dblp %P 1109-1114 %T Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach. %U http://dblp.uni-trier.de/db/conf/hpcc/hpcc2022.html#LiuCJZ22 %@ 979-8-3503-1993-4

@inproceedings{conf/hpcc/LiuCJZ22, added-at = {2023-04-06T00:00:00.000+0200}, author = {Liu, Shaobin and Chen, Xiaohong and Jin, Zhi and Zhang, Min}, biburl = {https://www.bibsonomy.org/bibtex/2fd04306366dfc980c0be13963d3c42b4/dblp}, booktitle = {HPCC/DSS/SmartCity/DependSys}, crossref = {conf/hpcc/2022}, ee = {https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys57074.2022.00175}, interhash = {8720d422dc3b5a542c4d7d722ebb2438}, intrahash = {fd04306366dfc980c0be13963d3c42b4}, isbn = {979-8-3503-1993-4}, keywords = {dblp}, pages = {1109-1114}, publisher = {IEEE}, timestamp = {2024-04-09T13:36:57.000+0200}, title = {Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.}, url = {http://dblp.uni-trier.de/db/conf/hpcc/hpcc2022.html#LiuCJZ22}, year = 2022 }